# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1385305010 18000
# Node ID 006633a0039aa0d8c63b49efd93d6758659fe2c8
# Parent  7d26b96370af2cd0f8d4d39020a11e33286b56ab
Sneaky still-in-today's-release update of 'table' signature item handling

diff -r 7d26b96370af -r 006633a0039a src/elaborate.sml
--- a/src/elaborate.sml	Sun Nov 24 09:26:38 2013 -0500
+++ b/src/elaborate.sml	Sun Nov 24 09:56:50 2013 -0500
@@ -2629,7 +2629,7 @@
              checkCon env' ce' cet cst;
 
              ([(L'.SgiConAbs (x', hidden_n, cstK), loc),
-               (L'.SgiConstraint (visible, hidden), loc),
+               (L'.SgiConstraint ((L'.CConcat (pkey, visible), loc), hidden), loc),
                (L'.SgiVal (x, n, ct), loc)], (env', denv, gs''' @ gs'' @ gs' @ gs))
          end
 
@@ -3631,7 +3631,7 @@
 			      NONE => NONE
 			    | SOME c' => SOME (L.TRecord c', loc))
 
-                       | c => (Print.preface ("WTF?", p_con env (c, loc)); NONE)
+                       | c => ((*Print.preface ("WTF?", p_con env (c, loc));*) NONE)
 
                  fun buildNeeded env sgis =
                      #1 (foldl (fn ((sgi, loc), (nd, env')) =>
@@ -4860,6 +4860,8 @@
             ModDb.revert ()
         else
             ();
+
+        (*Print.preface("File", ElabPrint.p_file env file);*)
         
         (L'.DFfiStr ("Basis", basis_n, sgn), ErrorMsg.dummySpan)
         :: ds