diff options
| author | Alasdair | 2020-04-14 17:16:29 +0100 |
|---|---|---|
| committer | Alasdair | 2020-04-14 17:29:15 +0100 |
| commit | 26510d7798daac30a400e8d04278a86ea8b83983 (patch) | |
| tree | 705fea19904ee1b4c1af3f349296ac7648f6bab9 /editors | |
| parent | 8d28bb30b0ff1812fa0ad58147d42cddde3099da (diff) | |
Add add_symbol to the API of Process_file
Allows clients of sail as a library to define custom symbols for $ifdef
and $ifndef
Iterate vector concat assignment and tuple assignment to handle unusual
nesting cases when compiling to C. These rewrites should really be one
rewrite anyway though!
Don't add type annotations when introducing tuple patterns during
rewriting. I guess not adding them could also cause an error in some
circumstances, but if that's the case it could probably be fixed by
tweaking some rules in the type-checker.
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/sail-mode.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/sail-mode.el b/editors/sail-mode.el index 0d70b51e..5c1d1e07 100644 --- a/editors/sail-mode.el +++ b/editors/sail-mode.el @@ -46,7 +46,7 @@ (defconst sail2-special '("_prove" "_not_prove" "create" "kill" "convert" "undefined" "$define" "$include" "$ifdef" "$ifndef" "$else" "$endif" "$option" "$optimize" - "$latex" "$property" "$counterexample" "$suppress_warnings")) + "$latex" "$property" "$counterexample" "$suppress_warnings" "$assert")) (defconst sail2-font-lock-keywords `((,(regexp-opt sail2-keywords 'symbols) . font-lock-keyword-face) |