comparison src/elisp/urweb-mode.el @ 352:2205d5cb416a

Get type definitions font-locking again
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Oct 2008 10:30:08 -0400
parents d5148178a7be
children 9390c55b9f1f
comparison
equal deleted inserted replaced
351:d5148178a7be 352:2205d5cb416a
162 162
163 (defconst urweb-font-lock-keywords 163 (defconst urweb-font-lock-keywords
164 `(;;(urweb-font-comments-and-strings) 164 `(;;(urweb-font-comments-and-strings)
165 (,(concat "\\<\\(fun\\|and\\)\\s-+\\(\\sw+\\)\\s-+[^ \t\n=]") 165 (,(concat "\\<\\(fun\\|and\\)\\s-+\\(\\sw+\\)\\s-+[^ \t\n=]")
166 (1 font-lock-keyword-face) 166 (1 font-lock-keyword-face)
167 (6 font-lock-function-name-face)) 167 (5 font-lock-function-name-face))
168 (,(concat "\\<\\(\\(data\\)?type\\|con\\)\\s-+\\(\\sw+\\)") 168 (,(concat "\\<\\(\\(data\\)?type\\|con\\)\\s-+\\(\\sw+\\)")
169 (1 font-lock-keyword-face) 169 (1 font-lock-keyword-face)
170 (7 font-lock-type-def-face)) 170 (3 font-lock-type-def-face))
171 ("\\<\\(val\\)\\s-+\\(\\sw+\\>\\s-*\\)?\\(\\sw+\\)\\s-*[=:]" 171 ("\\<\\(val\\)\\s-+\\(\\sw+\\>\\s-*\\)?\\(\\sw+\\)\\s-*[=:]"
172 (1 font-lock-keyword-face) 172 (1 font-lock-keyword-face)
173 (3 font-lock-variable-name-face)) 173 (3 font-lock-variable-name-face))
174 ("\\<\\(structure\\|functor\\)\\s-+\\(\\sw+\\)" 174 ("\\<\\(structure\\|functor\\)\\s-+\\(\\sw+\\)"
175 (1 font-lock-keyword-face) 175 (1 font-lock-keyword-face)