diff options
| author | Alasdair Armstrong | 2018-04-16 15:37:24 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-04-18 14:17:26 +0100 |
| commit | 7cab45aa4faac2990eb5e1991c0481b72e3c83ec (patch) | |
| tree | 1cd5ad45157beb64837e5a7ac09351dce0602098 /editors | |
| parent | 127776db287e44521606debed8c4eaa125516c62 (diff) | |
Rename BK_nat to BK_int to be consistent with source syntax
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 9eefa654..43be664d 100644 --- a/editors/sail2-mode.el +++ b/editors/sail2-mode.el @@ -8,7 +8,8 @@ "else" "match" "in" "return" "register" "ref" "forall" "operator" "effect" "overload" "cast" "sizeof" "constraint" "default" "assert" "newtype" "from" "pure" "infixl" "infixr" "infix" "scattered" "end" "try" "catch" "and" "to" - "throw" "clause" "as" "repeat" "until" "while" "do" "foreach" "bitfield")) + "throw" "clause" "as" "repeat" "until" "while" "do" "foreach" "bitfield" + "mapping")) (defconst sail2-kinds '("Int" "Type" "Order" "inc" "dec" @@ -16,7 +17,7 @@ "exmem" "undef" "unspec" "nondet" "escape")) (defconst sail2-types - '("vector" "int" "nat" "atom" "range" "unit" "bit" "real" "list" "bool" "string" "bits" + '("vector" "int" "nat" "atom" "range" "unit" "bit" "real" "list" "bool" "string" "bits" "option" "uint64_t" "int64_t" "bv_t" "mpz_t")) (defconst sail2-special @@ -28,6 +29,7 @@ (,(regexp-opt sail2-types 'symbols) . font-lock-type-face) (,(regexp-opt sail2-special 'symbols) . font-lock-preprocessor-face) ("~" . font-lock-negation-char-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) ("function \\([a-zA-Z0-9_]+\\)" 1 font-lock-function-name-face) |