Mercurial > urweb

diff src/mono_print.sml @ 292:6e665c7c96f6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Error-parsing ints
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 12:15:46 -0400
parents df00701f2323
children 59dc042629b9
line wrap: on
line diff
--- a/src/mono_print.sml	Sun Sep 07 11:56:53 2008 -0400
+++ b/src/mono_print.sml	Sun Sep 07 12:15:46 2008 -0400
@@ -62,11 +62,9 @@
               string (#1 (E.lookupDatatype env n)))
          handle E.UnboundNamed _ => string ("UNBOUND_DATATYPE_" ^ Int.toString n))
       | TFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"]
-      | TOption t =>
-        (case #1 t of
-             TDatatype _ => p_typ env t
-           | TFfi ("Basis", "string") => p_typ env t
-           | _ => box [p_typ env t, string "*"])
+      | TOption t => box [string "option(",
+                          p_typ env t,
+                          string ")"]
 
 and p_typ env = p_typ' false env