Type error utilities
This file wraps the functions in Type_check, so they return Fatal_error exceptions from the Reporting module rather than Type_errors.
If false (default), we'll only explain generated variables, not variables written explicitly by the user in the source.
If false (default), we'll list relevant constraints, but not go into detail about how they were derived
type constraint_reason = (Ast.l * string) optiontype type_error = | Err_no_casts of Ast_util.uannot Ast.exp
* Ast.typ
* Ast.typ
* type_error
* type_error list| Err_no_overloading of Ast.id * (Ast.id * type_error) list| Err_unresolved_quants of Ast.id
* Ast.quant_item list
* (Ast_util.mut * Ast.typ) Ast_util.Bindings.t
* Type_env.type_variables
* Ast.n_constraint list| Err_failed_constraint of Ast.n_constraint
* (Ast_util.mut * Ast.typ) Ast_util.Bindings.t
* Type_env.type_variables
* Ast.n_constraint list| Err_subtype of Ast.typ
* Ast.typ
* Ast.n_constraint option
* (constraint_reason * Ast.n_constraint) list
* Type_env.type_variables| Err_no_num_ident of Ast.id| Err_other of string| Err_inner of type_error * Parse_ast.l * string * string option * type_errorexception Type_error of Parse_ast.l * type_errorval analyze_unresolved_quant :
(Ast_util.mut * Ast.typ) Ast_util.Bindings.t ->
Ast.n_constraint list ->
Ast.quant_item ->
suggestionAnalyze an unresolved quantifier type error
val collapse_errors : type_error -> type_errorval string_of_type_error : type_error -> stringval check_defs :
Type_check.Env.t ->
Ast_util.uannot Ast.def list ->
Type_check.tannot Ast.def list * Type_check.Env.tval check :
Type_check.Env.t ->
Ast_util.uannot Ast_defs.ast ->
Type_check.tannot Ast_defs.ast * Type_check.Env.t