A | |
| ApplyError [TermInner.UTIL] |
Raised when a type application fails
|
| ApplyError [TermInner.Util] | |
| Attr_app_val [ElimRecursion] | Attr_app_val means that the ID being defined is an "application function"
that is used to encode HO partial application into regular FO total
application.
|
| Attr_is_handle_cstor [ElimRecursion] | Attr_is_handle_cstor means that the ID is the binary type symbol
that represents arrows for partially applied functions
|
| Attr_proto_val [ElimRecursion] | Attr_proto_val (f,k) means the ID currently being declared is the k-th "proto"
function used for default values.
|
C | |
| CannotTraverse [Traversal.Make] | |
| Case_not_found [Model.DT_util] | |
E | |
| EmptyData [AnalyzeType] | |
| Error [ElimMultipleEqns] | |
| Error [Specialize] | |
| Error [Tip_parser] | |
| Error [Parse_kodkod] | |
| Error [TPTP_model_parser] | |
| Error [TPTP_parser] | |
| Error [TPTP_print] | |
| Error [Parser] | |
| Error [Sexp_lex] | |
| Error [TypeCheck] | |
| Error [AnalyzeType] | |
| Error [FO.To_tptp] | |
F | |
| Fail [TypeUnify.Make] |
Raised when unification fails.
|
I | |
| IllFormed [Problem] |
Ill-formed problem
|
| InvalidDef [Env] | |
| InvalidProblem [Monomorphization] | |
L | |
| LexError [Parsing_utils] | |
N | |
| No_head [Env.Util] | |
| NotImplemented [Utils] | |
| NotInFO [TermMono.ToFO] | |
P | |
| ParseError [Parsing_utils] | |
| ParseError [UntypedAST] | |
| Polymorphic [AnalyzeType] | |
S | |
| ScopingError [TypeInference] |
Scoping error for the given variable
|
| SyntaxError [UntypedAST] | |
T | |
| TypeError [TypeInference] |
Raised when the input is ill-typed or could not be inferred.
|
U | |
| Undefined [TermInner] | |
| UndefinedID [Env] | |
| UnifError [TermInner.UTIL] |
Raised for unification or matching errors
|
| UnifError [TermInner.Util] |