Mercurial > urweb

comparison src/elaborate.sml @ 1347:b106ca8200b1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
postBody type
author Adam Chlipala <adam@chlipala.net>
date Sat, 18 Dec 2010 10:56:31 -0500
parents faad7d01b200
children 8a169fc0838b
comparison
equal deleted inserted replaced
1346:faad7d01b200 1347:b106ca8200b1
3832 val t = (L'.CApp (t, arg3), loc) 3832 val t = (L'.CApp (t, arg3), loc)
3833 val t = (L'.CApp ( 3833 val t = (L'.CApp (
3834 (L'.CModProj 3834 (L'.CModProj
3835 (basis, [], "transaction"), loc), 3835 (basis, [], "transaction"), loc),
3836 t), loc) 3836 t), loc)
3837
3838 fun normArgs t =
3839 case hnormCon env t of
3840 (L'.TFun (dom, ran), loc) =>
3841 (L'.TFun (hnormCon env dom, normArgs ran), loc)
3842 | t' => t'
3837 in 3843 in
3838 (L'.SgiVal (x, n, makeRes t), loc) 3844 (L'.SgiVal (x, n, normArgs (makeRes t)), loc)
3839 end 3845 end
3840 | _ => all) 3846 | _ => all)
3841 | _ => all) 3847 | _ => all)
3842 | _ => all) 3848 | _ => all)
3843 | _ => all) 3849 | _ => all)