changeset 1716:05ae68e019b6

Tweak printing of constructor record literals to allow re-parsing by compiler
author Adam Chlipala <adam@chlipala.net>
date Mon, 16 Apr 2012 10:12:04 -0400
parents 1584fd8d16dd
children 16ee7ff7f119
files src/elab_print.sml tests/badVariant.ur
diffstat 2 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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,
--- /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"