Merge branch 'sail2' into rmem_interpreter

1 files changed, 0 insertions, 67 deletions

diff --git a/editors/sail2-mode.el b/editors/sail2-mode.el
deleted file mode 100644
index 38404f14..00000000
--- a/editors/sail2-mode.el
+++ /dev/null
@@ -1,67 +0,0 @@
-
-(defvar sail2-mode-hook nil)
-
-(add-to-list 'auto-mode-alist '("\\.sail\\'" . sail2-mode))
-
-(defconst sail2-keywords
-  '("val" "function" "type" "struct" "union" "enum" "let" "var" "if" "then" "by"
-    "else" "match" "in" "return" "register" "ref" "forall" "operator" "effect"
-    "overload" "cast" "sizeof" "constant" "constraint" "default" "assert" "newtype" "from"
-    "pure" "infixl" "infixr" "infix" "scattered" "end" "try" "catch" "and" "to"
-    "throw" "clause" "as" "repeat" "until" "while" "do" "foreach" "bitfield"
-    "mapping" "where" "with"))
-
-(defconst sail2-kinds
-  '("Int" "Type" "Order" "Bool" "inc" "dec"
-    "barr" "depend" "rreg" "wreg" "rmem" "rmemt" "wmv" "wmvt" "eamem" "wmem"
-    "exmem" "undef" "unspec" "nondet" "escape" "configuration"))
-
-(defconst sail2-types
-  '("vector" "int" "nat" "atom" "range" "unit" "bit" "real" "list" "bool" "string" "bits" "option"
-    "uint64_t" "int64_t" "bv_t" "mpz_t"))
-
-(defconst sail2-special
-  '("_prove" "_not_prove" "create" "kill" "convert" "undefined"
-    "$define" "$include" "$ifdef" "$ifndef" "$else" "$endif" "$option" "$latex"))
-
-(defconst sail2-font-lock-keywords
-  `((,(regexp-opt sail2-keywords 'symbols) . font-lock-keyword-face)
-    (,(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)
-    ("~" . font-lock-negation-char-face)
-    ("\\(::\\)<" 1 font-lock-keyword-face)
-    ("@" . font-lock-preprocessor-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)
-    ("val \\([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)))
-    (modify-syntax-entry ?> "." st)
-    (modify-syntax-entry ?_ "w" st)
-    (modify-syntax-entry ?' "w" st)
-    (modify-syntax-entry ?* ". 23" st)
-    (modify-syntax-entry ?/ ". 124b" st)
-    (modify-syntax-entry ?\n "> b" st)
-    st)
-  "Syntax table for Sail2 mode")
-
-(defun sail2-mode ()
-  "Major mode for editing Sail Language files"
-  (interactive)
-  (kill-all-local-variables)
-  (set-syntax-table sail2-mode-syntax-table)
-  (setq font-lock-defaults '(sail2-font-lock-keywords))
-  (setq comment-start-skip "\\(//+\\|/\\*+\\)\\s *")
-  (setq comment-start "/*")
-  (setq comment-end "*/")
-  (setq major-mode 'sail2-mode)
-  (setq mode-name "Sail2")
-  (run-hooks 'sail2-mode-hook))
-
-(provide 'sail2-mode)
-