From d09bc95eaf2ea0c896297dc390fadba8efa2930a Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 5 Dec 2014 22:14:28 -0800 Subject: [PATCH] feat(emacs): add Type0 highlight --- 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 df7b16d594..8ae356a109 100644 --- a/src/emacs/lean-syntax.el +++ b/src/emacs/lean-syntax.el @@ -129,7 +129,7 @@ word-end) . 'font-lock-constant-face) ;; Types - (,(rx word-start (or "Prop" "Type" "Type'" "Type₊" "Type₁" "Type₂" "Type₃") symbol-end) . 'font-lock-type-face) + (,(rx word-start (or "Prop" "Type" "Type'" "Type₊" "Type₀" "Type₁" "Type₂" "Type₃") symbol-end) . 'font-lock-type-face) (,(rx word-start (group "Type") ".") (1 'font-lock-type-face)) ;; sorry (,(rx word-start "sorry" word-end) . 'font-lock-warning-face)