Mercurial > urweb
comparison src/urweb.grm @ 1646:ca3b73a7b4d0
Get a few more source files up-to-date with change to [tag] type
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 28 Dec 2011 18:05:27 -0500 |
parents | b0720700c36e |
children | dfc854e478bb |
comparison
equal
deleted
inserted
replaced
1645:b71cc5ec59b3 | 1646:ca3b73a7b4d0 |
---|---|
1459 let | 1459 let |
1460 val e = (EVar (["Basis"], "form", Infer), pos) | 1460 val e = (EVar (["Basis"], "form", Infer), pos) |
1461 val e = (EApp (e, case #2 tag of | 1461 val e = (EApp (e, case #2 tag of |
1462 NONE => (EVar (["Basis"], "None", Infer), pos) | 1462 NONE => (EVar (["Basis"], "None", Infer), pos) |
1463 | SOME c => (EApp ((EVar (["Basis"], "Some", Infer), pos), c), pos)), pos) | 1463 | SOME c => (EApp ((EVar (["Basis"], "Some", Infer), pos), c), pos)), pos) |
1464 val e = (EApp (e, case #3 tag of | |
1465 NONE => (EVar (["Basis"], "None", Infer), pos) | |
1466 | SOME c => (EApp ((EVar (["Basis"], "Some", Infer), pos), c), pos)), pos) | |
1467 in | 1464 in |
1468 (EApp (e, xmlOpt), pos) | 1465 (EApp (e, xmlOpt), pos) |
1469 end | 1466 end |
1470 else if et = "subform" orelse et = "subforms" then | 1467 else if et = "subform" orelse et = "subforms" then |
1471 (EApp (#2 (#1 tag), | 1468 (EApp (#2 (#1 tag), |