Mercurial > urweb

comparison src/urweb.grm @ 758:8323c1beef2e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Subforms type-checks; lists urlified and unurlified
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 11:48:56 -0400
parents 8ce31c052dce
children 9021d44ba6b2
comparison
equal deleted inserted replaced
757:fa2019a63ea4 758:8323c1beef2e
1266 (EApp ((EVar (["Basis"], "form", Infer), pos), 1266 (EApp ((EVar (["Basis"], "form", Infer), pos),
1267 xml), pos) 1267 xml), pos)
1268 else if et = "subform" then 1268 else if et = "subform" then
1269 (EApp ((EDisjointApp (#2 (#1 tag)), pos), 1269 (EApp ((EDisjointApp (#2 (#1 tag)), pos),
1270 xml), pos) 1270 xml), pos)
1271 else if et = "subforms" then
1272 (EApp ((EDisjointApp (#2 (#1 tag)), pos),
1273 xml), pos)
1274 else if et = "entry" then
1275 (EApp ((EVar (["Basis"], "entry", Infer), pos),
1276 xml), pos)
1271 else 1277 else
1272 (EApp (#2 tag, xml), pos) 1278 (EApp (#2 tag, xml), pos)
1273 else 1279 else
1274 (if ErrorMsg.anyErrors () then 1280 (if ErrorMsg.anyErrors () then
1275 () 1281 ()