Mercurial > urweb
comparison src/elisp/urweb-defs.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 |
---|---|
106 (urweb-syms-re "let" "struct" "sig" "in" "with" | 106 (urweb-syms-re "let" "struct" "sig" "in" "with" |
107 "if" "then" "else" "case" "of" "fn" "fun" "val" "and" | 107 "if" "then" "else" "case" "of" "fn" "fun" "val" "and" |
108 "datatype" "type" "open" "include" | 108 "datatype" "type" "open" "include" |
109 urweb-module-head-syms | 109 urweb-module-head-syms |
110 "con" "fold" "where" "extern" "constraint" "constraints" | 110 "con" "fold" "where" "extern" "constraint" "constraints" |
111 "table" "sequence" "class") | 111 "table" "sequence" "class" "cookie") |
112 "Symbols starting an sexp.") | 112 "Symbols starting an sexp.") |
113 | 113 |
114 ;; (defconst urweb-not-arg-start-re | 114 ;; (defconst urweb-not-arg-start-re |
115 ;; (urweb-syms-re "in" "of" "end" "andalso") | 115 ;; (urweb-syms-re "in" "of" "end" "andalso") |
116 ;; "Symbols that can't be found at the head of an arg.") | 116 ;; "Symbols that can't be found at the head of an arg.") |
132 `((,urweb-module-head-syms "d=" 0) | 132 `((,urweb-module-head-syms "d=" 0) |
133 ("if" "else" 0) | 133 ("if" "else" 0) |
134 (,urweb-=-starter-syms nil) | 134 (,urweb-=-starter-syms nil) |
135 (("case" "datatype" "if" "then" "else" | 135 (("case" "datatype" "if" "then" "else" |
136 "let" "open" "sig" "struct" "type" "val" | 136 "let" "open" "sig" "struct" "type" "val" |
137 "con" "constraint" "table" "sequence" "class"))))) | 137 "con" "constraint" "table" "sequence" "class" "cookie"))))) |
138 | 138 |
139 (defconst urweb-starters-indent-after | 139 (defconst urweb-starters-indent-after |
140 (urweb-syms-re "let" "in" "struct" "sig") | 140 (urweb-syms-re "let" "in" "struct" "sig") |
141 "Indent after these.") | 141 "Indent after these.") |
142 | 142 |
186 | 186 |
187 (defconst urweb-starters-syms | 187 (defconst urweb-starters-syms |
188 (append urweb-module-head-syms | 188 (append urweb-module-head-syms |
189 '("datatype" "fun" | 189 '("datatype" "fun" |
190 "open" "type" "val" "and" | 190 "open" "type" "val" "and" |
191 "con" "constraint" "table" "sequence" "class")) | 191 "con" "constraint" "table" "sequence" "class" "cookie")) |
192 "The starters of new expressions.") | 192 "The starters of new expressions.") |
193 | 193 |
194 (defconst urweb-exptrail-syms | 194 (defconst urweb-exptrail-syms |
195 '("if" "then" "else" "case" "of" "fn" "with" "fold")) | 195 '("if" "then" "else" "case" "of" "fn" "with" "fold")) |
196 | 196 |