Mercurial > urweb

diff src/source_print.sml @ 191:aa54250f58ac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parametrized datatypes through explify
author Adam Chlipala <adamc@hcoop.net>
date Fri, 08 Aug 2008 10:28:32 -0400
parents b2d752455182
children dd82457fda82
line wrap: on
line diff
--- a/src/source_print.sml	Thu Aug 07 13:09:26 2008 -0400
+++ b/src/source_print.sml	Fri Aug 08 10:28:32 2008 -0400
@@ -278,10 +278,11 @@
 
 and p_exp e = p_exp' false e
 
-fun p_datatype (x, cons) =
+fun p_datatype (x, xs, cons) =
     box [string "datatype",
          space,
          string x,
+         p_list_sep (box []) (fn x => box [space, string x]) xs,
          space,
          string "=",
          space,