diff options
author | Adam Chlipala <adam@chlipala.net> | 2012-04-29 20:37:45 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2012-04-29 20:37:45 -0400 |
commit | 88ea557055dc5cb1dcb15aeb65d058132ac24e22 (patch) | |
tree | b9f2ca7f69383251907deef4db600d984cc1d40e /src/mono_print.sml | |
parent | 4546d4f252f70f87ee86ad2de85f4749171efbfb (diff) |
Fix generation of normal datatypes from polymorphic variants
Diffstat (limited to 'src/mono_print.sml')
-rw-r--r-- | src/mono_print.sml | 3 |
1 files changed, 2 insertions, 1 deletions
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, |