Mercurial > urweb

diff src/core_print.sml @ 807:61a1f5c5ae2c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mutual datatypes through Effectize
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 15:45:12 -0400
parents ef6de4075dc1
children ed06e25c70ef
line wrap: on
line diff
--- a/src/core_print.sml	Sat May 16 15:22:05 2009 -0400
+++ b/src/core_print.sml	Sat May 16 15:45:12 2009 -0400
@@ -496,9 +496,7 @@
                  else
                      string x
     in
-        box [string "datatype",
-             space,
-             xp,
+        box [xp,
              p_list_sep (box []) (fn x => box [space, string x]) xs,
              space,
              string "=",
@@ -534,7 +532,9 @@
                  space,
                  p_con env c]
         end
-      | DDatatype x => p_datatype env x
+      | DDatatype x => box [string "datatype",
+                            space,
+                            p_list_sep (box [space, string "and", space]) (p_datatype (E.declBinds env dAll)) x]
       | DVal vi => box [string "val",
                         space,
                         p_vali env vi]