diff options
Diffstat (limited to 'editors/sail.el')
| -rw-r--r-- | editors/sail.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/sail.el b/editors/sail.el index 5fd4b3ff..253e1d48 100644 --- a/editors/sail.el +++ b/editors/sail.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\\|Order\\|Effect\\|inc\\|dec\\|implicit\\|vector\\|rreg\\|wreg\\|rmem\\|wmem\\|barr\\|undef\\|escape\\|unspec\\|nondet\\|pure\\|effect\\|IN\\|forall\\|bit\\|unit\\|bool\\|nat\\|int\\)\\>" + ("\\<\\(Type\\|Nat\\|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\\)\\>" 0 font-lock-type-face keep nil) ("\\<\\(val\\|extern\\|clause\\|and\\||let\\|rec\\>[ \t\n]*\\(\\(\\w\\|[_,?~.]\\)*\\)" 2 font-lock-variable-name-face keep nil) @@ -1572,7 +1572,7 @@ Returns t iff skipped to indentation." (or (not (string= kwop "then")) looking-at-matching))))) -(defun ail-compute-kwop-indent (kwop) +(defun sail-compute-kwop-indent (kwop) (when (string= kwop "rec") (setq kwop "and")) (let* ((old-point (point)) |