Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/urweb.grm Wed Dec 28 10:30:56 2011 -0500 +++ b/src/urweb.grm Wed Dec 28 18:05:27 2011 -0500 @@ -1461,9 +1461,6 @@ val e = (EApp (e, case #2 tag of NONE => (EVar (["Basis"], "None", Infer), pos) | SOME c => (EApp ((EVar (["Basis"], "Some", Infer), pos), c), pos)), pos) - val e = (EApp (e, case #3 tag of - NONE => (EVar (["Basis"], "None", Infer), pos) - | SOME c => (EApp ((EVar (["Basis"], "Some", Infer), pos), c), pos)), pos) in (EApp (e, xmlOpt), pos) end