diff options
author | 2012-04-16 09:53:48 -0400 | |
---|---|---|
committer | 2012-04-16 09:53:48 -0400 | |
commit | bde8927745dd53a50557bdec541766cb1243d976 (patch) | |
tree | da1c9a0b2f68660e73d51c7bcc16387c3aeb0181 | |
parent | 381cdb4213afe0eb08aa393cb82ed4f34570e40a (diff) |
Simplify types for printing with '-dumpTypes'
-rw-r--r-- | src/elaborate.sml | 2 |
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, |