Mercurial > urweb

diff src/mono_print.sml @ 808:d8f58d488cfb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mutual datatypes through Pathcheck
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 15:55:15 -0400
parents fa2019a63ea4
children 493f44759879
line wrap: on
line diff
--- a/src/mono_print.sml	Sat May 16 15:45:12 2009 -0400
+++ b/src/mono_print.sml	Sat May 16 15:55:15 2009 -0400
@@ -377,9 +377,7 @@
     let
         val env = E.pushDatatype env x n cons
     in
-        box [string "datatype",
-             space,
-             string x,
+        box [string x,
              space,
              string "=",
              space,
@@ -393,7 +391,9 @@
 
 fun p_decl env (dAll as (d, _) : decl) =
     case d of
-        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]