diff options
| author | Alasdair Armstrong | 2017-09-13 16:27:34 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-09-13 16:27:34 +0100 |
| commit | aa1f89abb2f42d085bd123147144c9c5c7ceb22f (patch) | |
| tree | 4edb70f0b3e616df5ce057398b3fbb0f1d334761 /src/ast_util.mli | |
| parent | af478ccda9894883427447cb954fc883efbd2217 (diff) | |
Work on improving Sail error messages
- Modified how sail type error messages are displayed. The
typechecker, rather than immediately outputing a string has a
datatype for error types, which are the pretty-printed using a
PPrint pretty-printer. Needs more work for all the error messages.
- Error messages now attempt to highlight the part of the file where
the error occurred, by printing the line the error is on and
highlighting where the error message is in red. Again, this needs to
be made more robust, especially when the error messages span
multiple lines.
Other things
- Improved new parser and lexer. Made the lexer & parser handling of
colons simpler and more intuitive.
- Added some more typechecking test cases
Diffstat (limited to 'src/ast_util.mli')
| -rw-r--r-- | src/ast_util.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ast_util.mli b/src/ast_util.mli index e6823ee9..6164fc17 100644 --- a/src/ast_util.mli +++ b/src/ast_util.mli @@ -44,6 +44,8 @@ open Ast +val no_annot : unit annot + val mk_id : string -> id val mk_kid : string -> kid val mk_ord : order_aux -> order |