From 41f7bb23ff2a9598f8f3bff1487f39f9e91f9f05 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 16 May 2009 15:45:12 -0400
Subject: Mutual datatypes through Effectize

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

(limited to 'src/core_print.sml')

diff --git a/src/core_print.sml b/src/core_print.sml
index 8dcb3228..08739aea 100644
--- a/src/core_print.sml
+++ b/src/core_print.sml
@@ -496,9 +496,7 @@ fun p_datatype env (x, n, xs, cons) =
                  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 @@ fun p_decl env (dAll as (d, _) : decl) =
                  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]
-- 
cgit v1.2.3