# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1334585524 14400
# Node ID 05ae68e019b6605c47ead030a8193e7effc1b4c2
# Parent  1584fd8d16dd9bbec08e4316eeb643c6ad248adb
Tweak printing of constructor record literals to allow re-parsing by compiler

diff -r 1584fd8d16dd -r 05ae68e019b6 src/elab_print.sml
--- a/src/elab_print.sml	Mon Apr 16 09:53:48 2012 -0400
+++ b/src/elab_print.sml	Mon Apr 16 10:12:04 2012 -0400
@@ -169,7 +169,7 @@
         if !debug then
             parenIf par (box [string "[",
                               p_list (fn (x, c) =>
-                                         box [p_con env x,
+                                         box [p_name env x,
                                               space,
                                               string "=",
                                               space,
@@ -179,7 +179,7 @@
         else
             parenIf par (box [string "[",
                               p_list (fn (x, c) =>
-                                         box [p_con env x,
+                                         box [p_name env x,
                                               space,
                                               string "=",
                                               space,
diff -r 1584fd8d16dd -r 05ae68e019b6 tests/badVariant.ur
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/badVariant.ur	Mon Apr 16 10:12:04 2012 -0400
@@ -0,0 +1,1 @@
+val q : variant [X = int, Y = float] = make [#Z] "hi"