Need help interpreting renamer trace output

2013-03-06 Thread Philip K.F.
Dear GHC-ers, I'm looking into the inerts of the renamer and I'm trying to get a feel for where things are bound. I thought it would be useful to have a look at how the renamer works on something known, so I compiled the following program (with HEAD): class Foo x where type FooTy x y foo ::

Re: Need help interpreting renamer trace output

2013-03-06 Thread Philip K.F.
Erratum; Of course, I meant that I had expected the different occurrences of 'x' to have the same uniques. Similarly, the different occurrences of 'y'. I did *not* expect 'x' and 'y' to have the same uniques. Ph. On Wed, 2013-03-06 at 10:18 +0100, Philip K.F. Hölzenspies wrote: > Dear GHC-ers,

RE: Need help interpreting renamer trace output

2013-03-06 Thread Simon Peyton-Jones
askell.org [mailto:glasgow-haskell-users- | boun...@haskell.org] On Behalf Of Philip K.F. Hölzenspies | Sent: 06 March 2013 10:29 | To: glasgow-haskell-users@haskell.org | Subject: Re: Need help interpreting renamer trace output | | Erratum; Of course, I meant that I had expected the