Mercurial > urweb

diff src/mono_print.sml @ 1734:d2b3fada532e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix generation of normal datatypes from polymorphic variants
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 Apr 2012 20:37:45 -0400
parents 0577be31a435
children c1e3805e604e
line wrap: on
line diff
--- a/src/mono_print.sml	Sun Apr 29 16:23:03 2012 -0400
+++ b/src/mono_print.sml	Sun Apr 29 20:37:45 2012 -0400
@@ -400,7 +400,8 @@
     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,