summaryrefslogtreecommitdiff
path: root/src/elaborate.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-12-13 14:34:18 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-12-13 14:34:18 -0500
commit1589307fcb887ec55b5baea7445747b479a665d2 (patch)
treed0e80d87e37b478abae9baf9012b125900f0557f /src/elaborate.sml
parentb225596addee1a3cfd6c3189cff923e7f0e8f7c9 (diff)
Fixing a bug in DInitializer elaboration
Diffstat (limited to 'src/elaborate.sml')
-rw-r--r--src/elaborate.sml4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml
index 327004e2..d1b9648a 100644
--- a/src/elaborate.sml
+++ b/src/elaborate.sml
@@ -3671,12 +3671,12 @@ and elabDecl (dAll as (d, loc), (env, denv, gs)) =
end
| L.DInitializer e =>
let
- val (e', t, gs) = elabExp (env, denv) e
+ val (e', t, gs') = elabExp (env, denv) e
val t' = (L'.CApp ((L'.CModProj (!basis_r, [], "transaction"), loc),
(L'.TRecord (L'.CRecord ((L'.KType, loc), []), loc), loc)), loc)
in
checkCon env e' t t';
- ([(L'.DInitializer e', loc)], (env, denv, gs))
+ ([(L'.DInitializer e', loc)], (env, denv, gs' @ gs))
end
(*val tcs = List.filter (fn TypeClass _ => true | _ => false) (#3 (#2 r))*)