comparison src/elisp/urweb-mode.el @ 1199:c316ca3c9ec6

Pushing policies through
author Adam Chlipala <adamc@hcoop.net>
date Sun, 04 Apr 2010 12:29:34 -0400
parents 0657e5adc938
children 0b639858200b
comparison
equal deleted inserted replaced
1197:6d8e3dcb9713 1199:c316ca3c9ec6
134 (defconst urweb-keywords-regexp 134 (defconst urweb-keywords-regexp
135 (urweb-syms-re "and" "case" "class" "con" "constraint" "constraints" 135 (urweb-syms-re "and" "case" "class" "con" "constraint" "constraints"
136 "datatype" "else" "end" "extern" "fn" "map" 136 "datatype" "else" "end" "extern" "fn" "map"
137 "fun" "functor" "if" "include" 137 "fun" "functor" "if" "include"
138 "of" "open" "let" "in" 138 "of" "open" "let" "in"
139 "rec" "sequence" "sig" "signature" "cookie" "style" "task" 139 "rec" "sequence" "sig" "signature" "cookie" "style" "task" "policy"
140 "struct" "structure" "table" "view" "then" "type" "val" "where" 140 "struct" "structure" "table" "view" "then" "type" "val" "where"
141 "with" 141 "with"
142 142
143 "Name" "Type" "Unit") 143 "Name" "Type" "Unit")
144 "A regexp that matches any non-SQL keywords of Ur/Web.") 144 "A regexp that matches any non-SQL keywords of Ur/Web.")
224 (1 font-lock-keyword-face) 224 (1 font-lock-keyword-face)
225 (2 (amAttribute font-lock-function-name-face))) 225 (2 (amAttribute font-lock-function-name-face)))
226 ("\\<\\(\\(data\\)?type\\|con\\|class\\)\\s-+\\(\\sw+\\)" 226 ("\\<\\(\\(data\\)?type\\|con\\|class\\)\\s-+\\(\\sw+\\)"
227 (1 font-lock-keyword-face) 227 (1 font-lock-keyword-face)
228 (3 (amAttribute font-lock-type-def-face))) 228 (3 (amAttribute font-lock-type-def-face)))
229 ("\\<\\(val\\|table\\|sequence\\|cookie\\|style\\|task\\)\\s-+\\(\\sw+\\>\\s-*\\)?\\(\\sw+\\)\\s-*[=:]" 229 ("\\<\\(val\\|table\\|sequence\\|cookie\\|style\\|task\\|policy\\)\\s-+\\(\\sw+\\>\\s-*\\)?\\(\\sw+\\)\\s-*[=:]"
230 (1 font-lock-keyword-face) 230 (1 font-lock-keyword-face)
231 (3 (amAttribute font-lock-variable-name-face))) 231 (3 (amAttribute font-lock-variable-name-face)))
232 ("\\<\\(structure\\|functor\\)\\s-+\\(\\sw+\\)" 232 ("\\<\\(structure\\|functor\\)\\s-+\\(\\sw+\\)"
233 (1 font-lock-keyword-face) 233 (1 font-lock-keyword-face)
234 (2 (amAttribute font-lock-module-def-face))) 234 (2 (amAttribute font-lock-module-def-face)))