Module: Jade::Frontend::TypeChecking::Error

Defined in:

lib/jade/frontend/type_checking/error/type_mismatch.rb,
lib/jade/frontend/type_checking/error/missing_patterns.rb,
lib/jade/frontend/type_checking/error/derivation_failed.rb,
lib/jade/frontend/type_checking/error/port_not_decodable.rb,
lib/jade/frontend/type_checking/error/pattern_type_mismatch.rb,
lib/jade/frontend/type_checking/error/unresolved_constraint.rb,
lib/jade/frontend/type_checking/error/missing_implementation.rb,
lib/jade/frontend/type_checking/error/if_branch_type_mismatch.rb,
lib/jade/frontend/type_checking/error/list_item_type_mismatch.rb,
lib/jade/frontend/type_checking/error/if_branches_type_mismatch.rb,
lib/jade/frontend/type_checking/error/if_condition_type_mismatch.rb,
lib/jade/frontend/type_checking/error/function_body_type_mismatch.rb,
lib/jade/frontend/type_checking/error/function_call_type_mismatch.rb,
lib/jade/frontend/type_checking/error/record_access_type_mismatch.rb,
lib/jade/frontend/type_checking/error/implementation_type_mismatch.rb,
lib/jade/frontend/type_checking/error/case_of_branches_type_mismatch.rb

Defined Under Namespace

Classes: CaseOfBranchesTypeMismatch, DerivationFailed, FunctionBodyTypeMismatch, FunctionCallTypeMismatch, IfBranchTypeMismatch, IfBranchesTypeMismatch, IfConditionTypeMismatch, ImplementationTypeMismatch, ListItemTypeMismatch, MissingImplementation, MissingPatterns, PatternTypeMismatch, PortNotDecodable, RecordAccessTypeMismatch, TypeMismatch, UnresolvedConstraint