From 88ea557055dc5cb1dcb15aeb65d058132ac24e22 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 29 Apr 2012 20:37:45 -0400
Subject: Fix generation of normal datatypes from polymorphic variants

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

(limited to 'src/mono_print.sml')

diff --git a/src/mono_print.sml b/src/mono_print.sml
index bf1b0935..e5ef4cf8 100644
--- a/src/mono_print.sml
+++ b/src/mono_print.sml
@@ -400,7 +400,8 @@ fun p_datatype env (x, n, cons) =
     let
         val env = E.pushDatatype env x n cons
     in
-        box [string x,
+        box [if !debug then (string (x ^ "__" ^ Int.toString n))
+             else string x,
              space,
              string "=",
              space,
-- 
cgit v1.2.3