summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-04-16 09:53:48 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-04-16 09:53:48 -0400
commit3c509a1766d03bc1854d2d70e2d1611eb4e2c3f9 (patch)
treeda1c9a0b2f68660e73d51c7bcc16387c3aeb0181
parentb5e07682e03fde1fa04b4f22d59600162ab5a685 (diff)
Simplify types for printing with '-dumpTypes'
-rw-r--r--src/elaborate.sml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml
index 5db129b9..26825951 100644
--- a/src/elaborate.sml
+++ b/src/elaborate.sml
@@ -4684,6 +4684,8 @@ fun elabFile basis topStr topSgn env file =
open Print.PD
open Print
+ fun p_con env c = ElabPrint.p_con env (ElabOps.reduceCon env c)
+
fun dumpDecl (d, env) =
case #1 d of
DCon (x, _, k, _) => (print (box [string x,