comparison src/elisp/urweb-defs.el @ 621:8998114760c1

"Hello world" compiles, after replacing type-level fold with map
author Adam Chlipala <adamc@hcoop.net>
date Sat, 21 Feb 2009 15:33:20 -0500
parents f542bc3133dc
children b2311dfb3158
comparison
equal deleted inserted replaced
620:d828b143e147 621:8998114760c1
105 (defconst urweb-sexp-head-symbols-re 105 (defconst urweb-sexp-head-symbols-re
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" "map" "where" "extern" "constraint" "constraints"
111 "table" "sequence" "class" "cookie") 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")
190 "open" "type" "val" "and" 190 "open" "type" "val" "and"
191 "con" "constraint" "table" "sequence" "class" "cookie")) 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" "map"))
196 196
197 (defconst urweb-pipeheads 197 (defconst urweb-pipeheads
198 '("|" "of" "fun" "fn" "and" "datatype") 198 '("|" "of" "fun" "fn" "and" "datatype")
199 "A `|' corresponds to one of these.") 199 "A `|' corresponds to one of these.")
200 200