diff src/expl_print.sml @ 1272:56bd4a4f6e66

Some serious bug-fix work to get HTML example to compile; this includes fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
author Adam Chlipala <adamc@hcoop.net>
date Thu, 03 Jun 2010 13:04:37 -0400
parents c316ca3c9ec6
children cd8d2c73ccf4
line wrap: on
line diff
--- a/src/expl_print.sml	Tue Jun 01 15:46:24 2010 -0400
+++ b/src/expl_print.sml	Thu Jun 03 13:04:37 2010 -0400
@@ -234,12 +234,19 @@
 
       | PRecord xps =>
         box [string "{",
-             p_list_sep (box [string ",", space]) (fn (x, p, _) =>
+             p_list_sep (box [string ",", space]) (fn (x, p, t) =>
                                                       box [string x,
                                                            space,
                                                            string "=",
                                                            space,
-                                                           p_pat env p]) xps,
+                                                           p_pat env p,
+                                                           if !debug then
+                                                               box [space,
+                                                                    string ":",
+                                                                    space,
+                                                                    p_con env t]
+                                                           else
+                                                               box []]) xps,
              string "}"]
 
 and p_pat x = p_pat' false x