type checker tree output

Simon Peyton-Jones simonpj at microsoft.com
Tue Apr 20 10:06:07 EDT 2004

You can ask to dump the syntax tree of the program after type checking.
This includes the type abstractions and applications inserted by the
type checker.   -ddump-tc

But that's all.  I'm not sure what the "search tree" is, but GHC
certainly doesn't maintain one, nor does it print out one, I'm afraid.
If type checking fails, you can still do a -ddump-tc, but what you get
may be rather abbreviated.  I doubt it's what you want.

Other people have paid much more direct attention to type debugging, as
I'm sure you know.  Joe Wells, Martin Sulzmann, Greg Michaelson, Olaf
Chitil, spring to mind among others.


| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org
| bounces at haskell.org] On Behalf Of Gregory Wright
| Sent: 19 April 2004 16:25
| To: glasgow-haskell-users at haskell.org
| Subject: type checker tree output
| Hi,
| Is there any way to make GHC dump the type checker tree in some kind
| human readable format? I'm not interested in it when it is successful,
| but I'd
| like to look at the search tree when type checking fails.
| Is this possible?
| Best Wishes,
| Greg Wright
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

More information about the Glasgow-haskell-users mailing list