summaryrefslogtreecommitdiff
path: root/src/elaborate.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-12-18 10:56:31 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2010-12-18 10:56:31 -0500
commit496433cdd2f108b483e4762776dfe1305c466eee (patch)
tree294baafc0fd3480fdce266c71f27090164d2114c /src/elaborate.sml
parent8f2b2ce3da639c8a140d21a22b0ae67dbbdc649d (diff)
postBody type
Diffstat (limited to 'src/elaborate.sml')
-rw-r--r--src/elaborate.sml8
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)