Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/urweb.grm Thu Apr 30 11:07:29 2009 -0400 +++ b/src/urweb.grm Thu Apr 30 11:48:56 2009 -0400 @@ -1268,6 +1268,12 @@ else if et = "subform" then (EApp ((EDisjointApp (#2 (#1 tag)), pos), xml), pos) + else if et = "subforms" then + (EApp ((EDisjointApp (#2 (#1 tag)), pos), + xml), pos) + else if et = "entry" then + (EApp ((EVar (["Basis"], "entry", Infer), pos), + xml), pos) else (EApp (#2 tag, xml), pos) else