comparison src/elisp/urweb-mode.el @ 459:f542bc3133dc

Cookies through elaborate
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:29:55 -0500
parents 86c063fedc4d
children 8998114760c1
comparison
equal deleted inserted replaced
458:8f65b0fa3b29 459:f542bc3133dc
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" "fold" 136 "datatype" "else" "end" "extern" "fn" "fold"
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" 139 "rec" "sequence" "sig" "signature" "cookie"
140 "struct" "structure" "table" "then" "type" "val" "where" 140 "struct" "structure" "table" "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.")
221 (1 font-lock-keyword-face) 221 (1 font-lock-keyword-face)
222 (2 (amAttribute font-lock-function-name-face))) 222 (2 (amAttribute font-lock-function-name-face)))
223 ("\\<\\(\\(data\\)?type\\|con\\|class\\)\\s-+\\(\\sw+\\)" 223 ("\\<\\(\\(data\\)?type\\|con\\|class\\)\\s-+\\(\\sw+\\)"
224 (1 font-lock-keyword-face) 224 (1 font-lock-keyword-face)
225 (3 (amAttribute font-lock-type-def-face))) 225 (3 (amAttribute font-lock-type-def-face)))
226 ("\\<\\(val\\|table\\|sequence\\)\\s-+\\(\\sw+\\>\\s-*\\)?\\(\\sw+\\)\\s-*[=:]" 226 ("\\<\\(val\\|table\\|sequence\\|cookie\\)\\s-+\\(\\sw+\\>\\s-*\\)?\\(\\sw+\\)\\s-*[=:]"
227 (1 font-lock-keyword-face) 227 (1 font-lock-keyword-face)
228 (3 (amAttribute font-lock-variable-name-face))) 228 (3 (amAttribute font-lock-variable-name-face)))
229 ("\\<\\(structure\\|functor\\)\\s-+\\(\\sw+\\)" 229 ("\\<\\(structure\\|functor\\)\\s-+\\(\\sw+\\)"
230 (1 font-lock-keyword-face) 230 (1 font-lock-keyword-face)
231 (2 (amAttribute font-lock-module-def-face))) 231 (2 (amAttribute font-lock-module-def-face)))