diff options
| author | Kathy Gray | 2016-06-20 17:30:36 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-06-20 17:30:44 +0100 |
| commit | 6622505dbd5287b3736c12e0e2293cb5b55feb84 (patch) | |
| tree | b41a0b24f19c0f813c85b3c9f71bf8f9f3eccfa5 /src/reporting_basic.mli | |
| parent | 1bf27b0ce4773661dd0a72fbcb4784eaa2ae6041 (diff) | |
Fix error in type checker that put some constraints wrongly into conditional constraints, breaking power.
Also improve reporting of contract constraints, but then turn them off :( to allow power to compile.
Diffstat (limited to 'src/reporting_basic.mli')
| -rw-r--r-- | src/reporting_basic.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/reporting_basic.mli b/src/reporting_basic.mli index 462d2394..7362d44c 100644 --- a/src/reporting_basic.mli +++ b/src/reporting_basic.mli @@ -85,6 +85,7 @@ type error = | Err_syntax_locn of Parse_ast.l * string | Err_lex of Lexing.position * string | Err_type of Parse_ast.l * string + | Err_type_dual of Parse_ast.l * Parse_ast.l * string exception Fatal_error of error @@ -100,6 +101,9 @@ val err_unreachable : Parse_ast.l -> string -> exn (** [err_typ l m] is an abreviatiation for [Fatal_error (Err_type (l, m))] *) val err_typ : Parse_ast.l -> string -> exn +(** [err_typ_dual l1 l2 m] is an abreviatiation for [Fatal_error (Err_type_dual (l1, l2, m))] *) +val err_typ_dual : Parse_ast.l -> Parse_ast.l -> string -> exn + (** Report error should only be used by main to print the error in the end. Everywhere else, raising a [Fatal_error] exception is recommended. *) val report_error : error -> 'a |