From 30b78a96ae699fa2282c07a2dbf3e6303f99e32c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 16 May 2009 15:55:15 -0400
Subject: Mutual datatypes through Pathcheck

---
 src/mono_print.sml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/mono_print.sml')

diff --git a/src/mono_print.sml b/src/mono_print.sml
index 2299bc56..0395a063 100644
--- a/src/mono_print.sml
+++ b/src/mono_print.sml
@@ -377,9 +377,7 @@ fun p_datatype env (x, n, cons) =
     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_datatype env (x, n, cons) =
 
 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]
-- 
cgit v1.2.3