Mercurial > urweb

comparison src/elaborate.sml @ 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 64c1e65c2365
children 16ee7ff7f119
comparison
equal deleted inserted replaced
1714:d6c45026240d 1715:1584fd8d16dd
4682 let 4682 let
4683 open L' 4683 open L'
4684 open Print.PD 4684 open Print.PD
4685 open Print 4685 open Print
4686 4686
4687 fun p_con env c = ElabPrint.p_con env (ElabOps.reduceCon env c)
4688
4687 fun dumpDecl (d, env) = 4689 fun dumpDecl (d, env) =
4688 case #1 d of 4690 case #1 d of
4689 DCon (x, _, k, _) => (print (box [string x, 4691 DCon (x, _, k, _) => (print (box [string x,
4690 space, 4692 space,
4691 string "::", 4693 string "::",