Mercurial > urweb
diff src/elab_print.sml @ 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 | 6c00d8af6239 |
| children | 30c0ca20bf59 |
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,