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),