type checker tree output

[Simon Peyton-Jones]

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.

Simon

| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org
[mailto:glasgow-haskell-users-
| 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
of
| 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