Mercurial > urweb

diff src/mono_print.sml @ 841:44c2c089ca15

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Jun 2009 11:13:18 -0400
parents 493f44759879
children 7a4b026e45dd
line wrap: on
line diff
--- a/src/mono_print.sml	Sat Jun 06 15:29:34 2009 -0400
+++ b/src/mono_print.sml	Sun Jun 07 11:13:18 2009 -0400
@@ -55,9 +55,14 @@
                                             space,
                                             p_typ env t]) xcs,
                             string "}"]
-      | TDatatype (n, _) =>
+      | TDatatype (n, ref (dk, _)) =>
         ((if !debug then
-              string (#1 (E.lookupDatatype env n) ^ "__" ^ Int.toString n)
+              string (#1 (E.lookupDatatype env n) ^ "__" ^ Int.toString n  ^ "["
+                      ^ (case dk of
+                             Option => "Option"
+                           | Enum => "Enum"
+                           | Default => "Default")
+                      ^ "]")
           else
               string (#1 (E.lookupDatatype env n)))
          handle E.UnboundNamed _ => string ("UNBOUND_DATATYPE_" ^ Int.toString n))