From 8f18532a39fe420a93dacdb9992b3c300a3c09a0 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 10 Oct 2015 09:53:42 -0700 Subject: [PATCH] fix(emacs/lean-syntax): syntax highlight for [coercions] --- src/emacs/lean-syntax.el | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/emacs/lean-syntax.el b/src/emacs/lean-syntax.el index 2cfb5b608..010867ceb 100644 --- a/src/emacs/lean-syntax.el +++ b/src/emacs/lean-syntax.el @@ -128,7 +128,9 @@ st)) (defconst lean-font-lock-defaults - `((;; Keywords + `((;; modifiers + (,lean-modifiers-regexp . 'font-lock-doc-face) + ;; Keywords ("\\(set_option\\)[ \t]*\\([^ \t\n]*\\)" (2 'font-lock-constant-face)) (,lean-keywords2-regexp . 'font-lock-keyword-face) (,lean-keywords1-regexp . 'font-lock-keyword-face) @@ -145,8 +147,6 @@ (2 'font-lock-function-name-face)) ;; place holder (,(rx symbol-start "_" symbol-end) . 'font-lock-preprocessor-face) - ;; modifiers - (,lean-modifiers-regexp . 'font-lock-doc-face) (,(rx "\[priority" (zero-or-more (not (any "\]"))) "\]") . font-lock-doc-face) (,(rx "\[recursor" (zero-or-more (not (any "\]"))) "\]") . font-lock-doc-face) (,(rx "\[unfold" (zero-or-more (not (any "\]"))) "\]") . font-lock-doc-face) @@ -170,7 +170,8 @@ ;; warnings (,lean-warnings-regexp . 'font-lock-warning-face) ;; extra-keywords - (,(rx (or "∎")) . 'font-lock-keyword-face)))) + (,(rx (or "∎")) . 'font-lock-keyword-face) + ))) ;; Syntax Highlighting for Lean Info Mode (defconst lean-info-font-lock-defaults