michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(emacs): do not highlight arbitrary types

Browse source
This commit is contained in:
Leonardo de Moura 2014-10-20 19:17:02 -07:00
parent 815dc9b63d
commit 92acd9affc
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/emacs/lean-syntax.el
View file

@ -123,7 +123,7 @@
word-end) word-end)
. 'font-lock-constant-face) . 'font-lock-constant-face)
;; Types ;; 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 ;; sorry
(,(rx word-start "sorry" word-end) . 'font-lock-warning-face) (,(rx word-start "sorry" word-end) . 'font-lock-warning-face)
;; extra-keywords ;; extra-keywords