Mercurial > urweb

changeset 1715:1584fd8d16dd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simplify types for printing with '-dumpTypes'
author Adam Chlipala <adam@chlipala.net>
date Mon, 16 Apr 2012 09:53:48 -0400
parents d6c45026240d
children 05ae68e019b6
files src/elaborate.sml
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/elaborate.sml	Mon Apr 16 09:46:42 2012 -0400
+++ b/src/elaborate.sml	Mon Apr 16 09:53:48 2012 -0400
@@ -4684,6 +4684,8 @@
                 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,