From 3c509a1766d03bc1854d2d70e2d1611eb4e2c3f9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 16 Apr 2012 09:53:48 -0400
Subject: Simplify types for printing with '-dumpTypes'

---
 src/elaborate.sml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/elaborate.sml')

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,
-- 
cgit v1.2.3