diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-30 11:07:29 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-30 11:07:29 -0400 |
| commit | 7a3ba5558cb363006aae188e02dd57dda833d356 (patch) | |
| tree | be8dc60f901b2cab9ec630d505bf152d1d19340e /src/mono_print.sml | |
| parent | 0264695e9a76f87e6164c489c34af63fa893889d (diff) | |
Basis.list
Diffstat (limited to 'src/mono_print.sml')
| -rw-r--r-- | src/mono_print.sml | 17 |
1 files changed, 14 insertions, 3 deletions
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 |