From 92acd9affcf5a9243c87e116aab677cda7495e5e Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 20 Oct 2014 19:17:02 -0700 Subject: [PATCH] chore(emacs): do not highlight arbitrary types --- src/emacs/lean-syntax.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/emacs/lean-syntax.el b/src/emacs/lean-syntax.el index a0014c67a8..5290a8e3e8 100644 --- a/src/emacs/lean-syntax.el +++ b/src/emacs/lean-syntax.el @@ -123,7 +123,7 @@ word-end) . 'font-lock-constant-face) ;; Types - (,(rx word-start (or "bool" "int" "nat" "real" "Prop" "Type" "Type'" "ℕ" "ℤ") word-end) . 'font-lock-type-face) + (,(rx word-start (or "Prop" "Type" "Type'" "Type₊" "Type₁" "Type₂" "Type₃") word-end) . 'font-lock-type-face) ;; sorry (,(rx word-start "sorry" word-end) . 'font-lock-warning-face) ;; extra-keywords