The compiler Unify_Typoids api defines access to unify functionality for type inference. Mythryl uses Prolog-style “unification” to perform type inference; this api defines the needed unify_typoids operation.
The Unify_Typoids api is implemented by the unify_typoids package.
The Unify_Typoids api source code is in src/lib/compiler/front/typer/types/unify-typoids.pkg.
The above information is manually maintained and may contain errors.
api { Unify_Fail
= CIRCULARITY
|
LITERAL_TYPE_MISMATCH
type_declaration_types::Typevar
|
NEED_EQUALITY_TYPE
|
OVERLOADED_TYPEVAR_MISMATCH
|
RECORD_FIELD_LABELS_MISMATCH
|
TYPE_MISMATCH
(type_declaration_types::Type , type_declaration_types::Type)
|
TYPOID_MISMATCH
(type_declaration_types::Typoid , type_declaration_types::Typoid)
|
USER_TYPEVAR_MISMATCH
type_declaration_types::Typevar;
exception UNIFY_TYPOIDS Unify_Fail;
fail_message : Unify_Fail -> String;
unify_typoids :
( String , String , type_declaration_types::Typoid , type_declaration_types::Typoid , List(String ) ,
Ref(Null_Or(List((Void -> Void) ) ) )
)
->
Void;
debugging : Ref(Bool );};