diff options
| author | Alasdair Armstrong | 2017-08-04 18:45:46 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-08-04 18:45:46 +0100 |
| commit | 6a68833bbd28044feeb3f2863021e4f5d6dbd951 (patch) | |
| tree | 87ce90e0468dcf095c10d3638e337c0aace1eab9 /src/reporting_basic.mli | |
| parent | 0e27492d76cf5ac1abdde6a45a4c05652ba74c2a (diff) | |
Various improvements for ASL generation
Fixed a bug where existential constraint's weren't used to solve function quantifiers correctly
Diffstat (limited to 'src/reporting_basic.mli')
| -rw-r--r-- | src/reporting_basic.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/reporting_basic.mli b/src/reporting_basic.mli index 559be9d4..3d1cbe13 100644 --- a/src/reporting_basic.mli +++ b/src/reporting_basic.mli @@ -104,3 +104,4 @@ val err_typ_dual : Parse_ast.l -> Parse_ast.l -> string -> exn raising a [Fatal_error] exception is recommended. *) val report_error : error -> 'a +val print_error : error -> unit |