From 1ca9408089542b282078cc1b7f3c8aa71659f00c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 3 May 2012 09:56:41 -0400
Subject: Catch duplicate top-level module names; fix dropping of constraints
 during incremental elaboration; document treatment of record types as type
 class instance types

---
 src/elaborate.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/elaborate.sml')

diff --git a/src/elaborate.sml b/src/elaborate.sml
index 41e9e9ab..f098b580 100644
--- a/src/elaborate.sml
+++ b/src/elaborate.sml
@@ -3934,7 +3934,7 @@ and elabDecl (dAll as (d, loc), (env, denv, gs)) =
                          val env' = E.declBinds env d
                          val denv' = dopenConstraints (loc, env', denv) {str = x, strs = []}
                      in
-                         ([d], (env', denv', []))
+                         ([d], (env', denv', gs))
                      end
                    | NONE =>
                      let
-- 
cgit v1.2.3