-ddump-tc-trace will probably tell you too much, but that's what I use when I'm trying to peer into GHC's innards. I have not documented its output, because I change it every so often; you'll have to look at the source code. A good little project would be to design a sensible output form for context reduction (only -- ddump-tc prints a lot else). Simon | -----Original Message----- | From: glasgow-haskell-users-bounces@haskell.org [mailto:glasgow- | haskell-users-bounces@haskell.org] On Behalf Of Misha Aizatulin | Sent: 02 January 2007 13:02 | To: glasgow-haskell-users@haskell.org | Subject: Dumping context reduction steps | | hi, | | is there some command line switch in GHC that would allow me to see | context reduction steps during the compilation? | | Thanks, | Misha | | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users