Mercurial > urweb
comparison src/urweb.grm @ 758:8323c1beef2e
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 () |