Mercurial > urweb

diff src/cjr_print.sml @ 897:2faf558b2d05

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
FFI manual section
author Adam Chlipala <adamc@hcoop.net>
date Sat, 18 Jul 2009 15:08:21 -0400
parents 8f2159040bbb
children 7a4b026e45dd
line wrap: on
line diff
--- a/src/cjr_print.sml	Sat Jul 18 13:46:22 2009 -0400
+++ b/src/cjr_print.sml	Sat Jul 18 15:08:21 2009 -0400
@@ -85,11 +85,11 @@
         (case ListUtil.search #3 (!xncs) of
              NONE => raise Fail "CjrPrint: TDatatype marked Option has no constructor with an argument"
            | SOME t =>
-             case #1 t of
-                 TDatatype _ => p_typ' par env t
-               | TFfi ("Basis", "string") => p_typ' par env t
-               | _ => box [p_typ' par env t,
-                           string "*"])
+             if isUnboxable t then
+                 p_typ' par env t
+             else
+                 box [p_typ' par env t,
+                      string "*"])
       | TDatatype (Default, n, _) =>
         (box [string "struct",
               space,