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@haskell.org [mailto:glasgow-haskell-users- | bounces@haskell.org] On Behalf Of Gregory Wright | Sent: 19 April 2004 16:25 | To: glasgow-haskell-users@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@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users