diff options
author | Adam Chlipala <adam@chlipala.net> | 2010-12-18 10:56:31 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2010-12-18 10:56:31 -0500 |
commit | c71de1db0cf31466bfc5fe7e96021e5d3cba6979 (patch) | |
tree | 294baafc0fd3480fdce266c71f27090164d2114c /src/elaborate.sml | |
parent | f08b20b1ecc66389fc6a829cf3819b3b38b07c48 (diff) |
postBody type
Diffstat (limited to 'src/elaborate.sml')
-rw-r--r-- | src/elaborate.sml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index 008529ea..b1515b6e 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -3834,8 +3834,14 @@ and elabDecl (dAll as (d, loc), (env, denv, gs)) = (L'.CModProj (basis, [], "transaction"), loc), t), loc) + + fun normArgs t = + case hnormCon env t of + (L'.TFun (dom, ran), loc) => + (L'.TFun (hnormCon env dom, normArgs ran), loc) + | t' => t' in - (L'.SgiVal (x, n, makeRes t), loc) + (L'.SgiVal (x, n, normArgs (makeRes t)), loc) end | _ => all) | _ => all) |