diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-13 14:34:18 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-13 14:34:18 -0500 |
| commit | ffb02010f3f25bcdecab88b8f6cab635b649f56e (patch) | |
| tree | d0e80d87e37b478abae9baf9012b125900f0557f /src | |
| parent | f5449b93792afc81e4da70d2a790ef7a2d2b49d5 (diff) | |
Fixing a bug in DInitializer elaboration
Diffstat (limited to 'src')
| -rw-r--r-- | src/elaborate.sml | 4 |
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))*) |