diff options
| author | Alasdair Armstrong | 2018-04-05 18:10:09 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-04-05 18:40:36 +0100 |
| commit | 650d7affe4704959d177579957bef749c5499158 (patch) | |
| tree | f17d98cfb99afdfa9d6564c6d303f3664f10d35b /editors | |
| parent | 9c9e2dc78c44823b271252b88d5d96f4c5a2b6ae (diff) | |
Fix precedence printing and update aarch64 spec
More work on Latex output
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/sail2-mode.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/editors/sail2-mode.el b/editors/sail2-mode.el index 47ce1690..60cd762e 100644 --- a/editors/sail2-mode.el +++ b/editors/sail2-mode.el @@ -27,8 +27,10 @@ (,(regexp-opt sail2-kinds 'symbols) . font-lock-builtin-face) (,(regexp-opt sail2-types 'symbols) . font-lock-type-face) (,(regexp-opt sail2-special 'symbols) . font-lock-preprocessor-face) - ("\'[a-zA-z_]+" . font-lock-variable-name-face) - ("\\_<\\([0-9]+\\|0b[0-9]+\\|0x[0-9a-fA-F]+\\|true\\|false\\|bitone\\|bitzero\\)\\_>\\|()" . font-lock-constant-face))) + ("~" . font-lock-negation-char-face) + ("\'[a-zA-Z0-9_]+" . font-lock-variable-name-face) + ("\\([a-zA-Z0-9_]+\\)(" 1 font-lock-function-name-face) + ("\\_<\\([0-9]+\\|0b[0-9_]+\\|0x[0-9a-fA-F_]+\\|true\\|false\\|bitone\\|bitzero\\)\\_>\\|()" . font-lock-constant-face))) (defconst sail2-mode-syntax-table (let ((st (make-syntax-table))) |