From 7a3ba5558cb363006aae188e02dd57dda833d356 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 30 Apr 2009 11:07:29 -0400
Subject: Basis.list

---
 src/mono_print.sml | 17 ++++++++++++++---
 1 file changed, 14 insertions(+), 3 deletions(-)

(limited to 'src/mono_print.sml')

diff --git a/src/mono_print.sml b/src/mono_print.sml
index a233b400..2299bc56 100644
--- a/src/mono_print.sml
+++ b/src/mono_print.sml
@@ -65,6 +65,9 @@ fun p_typ' par env (t, _) =
       | TOption t => box [string "option(",
                           p_typ env t,
                           string ")"]
+      | TList t => box [string "list(",
+                        p_typ env t,
+                        string ")"]
       | TSource => string "source"
       | TSignal t => box [string "signal(",
                           p_typ env t,
@@ -114,9 +117,17 @@ fun p_pat' par env (p, _) =
                                                            p_pat env p]) xps,
              string "}"]
       | PNone _ => string "None"
-      | PSome (_, p) => box [string "Some",
-                             space,
-                             p_pat' true env p]
+      | PSome (t, p) =>
+        if !debug then
+            box [string "Some[",
+                 p_typ env t,
+                 string "]",
+                 space,
+                 p_pat' true env p]
+        else
+            box [string "Some",
+                 space,
+                 p_pat' true env p]
 
 and p_pat x = p_pat' false x
 
-- 
cgit v1.2.3