Mercurial > urweb

diff src/mono_print.sml @ 757:fa2019a63ea4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.list
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 11:07:29 -0400
parents 8688e01ae469
children d8f58d488cfb
line wrap: on
line diff
--- a/src/mono_print.sml	Tue Apr 28 17:26:53 2009 -0400
+++ b/src/mono_print.sml	Thu Apr 30 11:07:29 2009 -0400
@@ -65,6 +65,9 @@
       | 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 @@
                                                            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