Mercurial > urweb

diff src/source_print.sml @ 805:e2780d2f4afc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mutual datatypes through Elaborate
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 15:14:17 -0400
parents 8688e01ae469
children d4e811beb8eb
line wrap: on
line diff
--- a/src/source_print.sml	Sat May 16 13:10:52 2009 -0400
+++ b/src/source_print.sml	Sat May 16 15:14:17 2009 -0400
@@ -360,9 +360,7 @@
 
 
 fun p_datatype (x, xs, cons) =
-    box [string "datatype",
-         space,
-         string x,
+    box [string x,
          p_list_sep (box []) (fn x => box [space, string x]) xs,
          space,
          string "=",
@@ -399,7 +397,9 @@
                                       string "=",
                                       space,
                                       p_con c]
-      | SgiDatatype x => p_datatype x
+      | SgiDatatype x => box [string "datatype",
+                              space,
+                              p_list_sep (box [space, string "and", space]) p_datatype x]
       | SgiDatatypeImp (x, ms, x') =>
         box [string "datatype",
              space,
@@ -530,7 +530,9 @@
                                     string "=",
                                     space,
                                     p_con c]
-      | DDatatype x => p_datatype x
+      | DDatatype x => box [string "datatype",
+                            space,
+                            p_list_sep (box [space, string "and", space]) p_datatype x]
       | DDatatypeImp (x, ms, x') =>
         box [string "datatype",
              space,