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 | 496433cdd2f108b483e4762776dfe1305c466eee (patch) | |
tree | 294baafc0fd3480fdce266c71f27090164d2114c /src/elaborate.sml | |
parent | 8f2b2ce3da639c8a140d21a22b0ae67dbbdc649d (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) |