diff options
| author | Alasdair Armstrong | 2017-07-18 13:25:44 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-18 13:25:44 +0100 |
| commit | a8bbfe826d46929450d022c37ac3c6a005340994 (patch) | |
| tree | cb0f8451135d7ad40db28f5590512faf47b7a5f0 /editors/sail-mode.el | |
| parent | 1090d8667193e3bc56bfc7a0d028566b36ad3b96 (diff) | |
Added real number literals to sail, to better support full ASL translation
Diffstat (limited to 'editors/sail-mode.el')
| -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 b667b084..e4579034 100644 --- a/editors/sail-mode.el +++ b/editors/sail-mode.el @@ -717,7 +717,7 @@ Based on Tuareg mode. See Tuareg mode for usage" 2 font-lock-variable-name-face keep nil) ("\\<\\(typedef\\|union\\)\\>[ \t\n]*\\(\\(\\w\\|[_ \t()*,]\\)+\\)" 2 font-lock-type-face keep nil) - ("\\<\\(Type\\|Nat\\|Num\\|Order\\|Effect\\|inc\\|dec\\|implicit\\|vector\\|rreg\\|wreg\\|rmem\\|wmem\\|wmv\\|eamem\\|barr\\|undef\\|escape\\|unspec\\|nondet\\|pure\\|effect\\|IN\\|forall\\|bit\\|unit\\|bool\\|nat\\|int\\)\\>" + ("\\<\\(Type\\|Nat\\|Num\\|Order\\|Effect\\|inc\\|dec\\|implicit\\|vector\\|rreg\\|wreg\\|rmem\\|wmem\\|wmv\\|eamem\\|barr\\|undef\\|escape\\|unspec\\|nondet\\|pure\\|effect\\|IN\\|forall\\|bit\\|unit\\|bool\\|nat\\|real\\|int\\)\\>" 0 font-lock-type-face keep nil) ("\\<\\(val\\|extern\\|clause\\|and\\||let\\|rec\\>[ \t\n]*\\(\\(\\w\\|[_,?~.]\\)*\\)" 2 font-lock-variable-name-face keep nil) |