From baf22271ef6e646c97ddfa1e4193a8857816c67d Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Fri, 8 Aug 2008 10:28:32 -0400
Subject: Parametrized datatypes through explify

---
 src/source_print.sml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/source_print.sml')

diff --git a/src/source_print.sml b/src/source_print.sml
index 960f3ac5..15bb6015 100644
--- a/src/source_print.sml
+++ b/src/source_print.sml
@@ -278,10 +278,11 @@ fun p_exp' par (e, _) =
 
 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,
-- 
cgit v1.2.3