diff src/core_print.sml @ 1663:0577be31a435

First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far)
author Adam Chlipala <adam@chlipala.net>
date Sat, 07 Jan 2012 15:56:22 -0500
parents a99b743a3087
children e15234fbb163
line wrap: on
line diff
--- a/src/core_print.sml	Sat Jan 07 11:01:21 2012 -0500
+++ b/src/core_print.sml	Sat Jan 07 15:56:22 2012 -0500
@@ -276,7 +276,7 @@
                                    string ".",
                                    string x,
                                    string "(",
-                                   p_list (p_exp env) es,
+                                   p_list (p_exp env o #1) es,
                                    string "))"]
       | EApp (e1, e2) => parenIf par (box [p_exp' true env e1,
                                            space,