# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1445721787 14400
# Node ID 1ecef02f67c52fe1a46ad25f9a9935403fc0cdc5
# Parent  74c7620023522503dd38dc2b9fc62d29a298db4c
More Elaborate work to avoid instantiating unification variables with out-of-scope regular variables

diff -r 74c762002352 -r 1ecef02f67c5 src/elaborate.sml
--- a/src/elaborate.sml	Sun Oct 18 16:03:56 2015 -0400
+++ b/src/elaborate.sml	Sat Oct 24 17:23:07 2015 -0400
@@ -783,7 +783,8 @@
 
          val sum =
              case c of
-                 (L'.CRecord (_, xcs), _) => {fields = xcs, unifs = [], others = []}
+                 (L'.CRecord (_, xcs), _) => {fields = map (fn (x, c) => (hnormCon env x, hnormCon env c)) xcs,
+                                              unifs = [], others = []}
                | (L'.CConcat (c1, c2), _) =>
                  let
                      val s1 = recordSummary env c1