From 63f77395df8d7e78c21437876ce585b01517f0cc Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 3 Jun 2010 13:04:37 -0400
Subject: 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

---
 src/core_print.sml | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'src/core_print.sml')

diff --git a/src/core_print.sml b/src/core_print.sml
index fd0556e6..f18ea4b9 100644
--- a/src/core_print.sml
+++ b/src/core_print.sml
@@ -233,12 +233,19 @@ fun p_pat' par env (p, _) =
                                                     p_pat' true env p])
       | 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
-- 
cgit v1.2.3