Commit 058303ae authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

emacs mode: fixed comment coloring

parent 5f69193c
...@@ -27,7 +27,7 @@ ...@@ -27,7 +27,7 @@
(defconst why-font-lock-keywords-1 (defconst why-font-lock-keywords-1
(list (list
;; Note: comment font-lock is guaranteed by suitable syntax entries ;; Note: comment font-lock is guaranteed by suitable syntax entries
;; '("(\\*\\([^*)]\\([^*]\\|\\*[^)]\\)*\\)?\\*)" . font-lock-comment-face) '("(\\*\\([^*)]\\([^*]\\|\\*[^)]\\)*\\)?\\*)" . font-lock-comment-face)
'("{}\\|{[^|]\\([^}]*\\)}" . font-lock-type-face) '("{}\\|{[^|]\\([^}]*\\)}" . font-lock-type-face)
`(,(why-regexp-opt '("use" "clone" "namespace" "import" "export" "inductive" "external" "function" "predicate" "val" "exception" "axiom" "lemma" "goal" "type" "mutable" "model" "abstract" "reads" "writes" "raises")) . font-lock-builtin-face) `(,(why-regexp-opt '("use" "clone" "namespace" "import" "export" "inductive" "external" "function" "predicate" "val" "exception" "axiom" "lemma" "goal" "type" "mutable" "model" "abstract" "reads" "writes" "raises")) . font-lock-builtin-face)
`(,(why-regexp-opt '("any" "match" "let" "rec" "in" "if" "then" "else" "begin" "end" "while" "invariant" "variant" "for" "to" "downto" "do" "done" "label" "loop" "assert" "absurd" "assume" "check" "ghost" "try" "with" "theory" "uses" "module")) . font-lock-keyword-face) `(,(why-regexp-opt '("any" "match" "let" "rec" "in" "if" "then" "else" "begin" "end" "while" "invariant" "variant" "for" "to" "downto" "do" "done" "label" "loop" "assert" "absurd" "assume" "check" "ghost" "try" "with" "theory" "uses" "module")) . font-lock-keyword-face)
...@@ -250,7 +250,7 @@ ...@@ -250,7 +250,7 @@
(make-local-variable 'indent-line-function) (make-local-variable 'indent-line-function)
(setq indent-line-function 'why-indent-line) (setq indent-line-function 'why-indent-line)
; OCaml style comments for comment-region, comment-dwim, etc. ; OCaml style comments for comment-region, comment-dwim, etc.
(setq comment-start "(*" comment-end "*)") ; (setq comment-start "(\\*" comment-end "\\*)")
; menu ; menu
; providing the mode ; providing the mode
(setq major-mode 'why-mode) (setq major-mode 'why-mode)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment