Need help interpreting renamer trace output
Simon PeytonJones
simonpj at microsoft.com
Wed Mar 6 18:39:34 CET 2013
Try ddumprn dpprdebug. Then you see all the unique.
In the class decls, all the occurrences of x have the same unique, don't they? Ditto in the instance decl. So I don't understand your qn, sorry
Simon
 Original Message
 From: glasgowhaskellusersbounces at haskell.org [mailto:glasgowhaskellusers
 bounces at haskell.org] On Behalf Of Philip K.F. Hölzenspies
 Sent: 06 March 2013 10:29
 To: glasgowhaskellusers at haskell.org
 Subject: Re: Need help interpreting renamer trace output

 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, 20130306 at 10:18 +0100, Philip K.F. Hölzenspies wrote:
 > Dear GHCers,
 >
 > 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 :: x t > FooTy x t
 > instance Foo [] where
 > type FooTy [] a = a
 > foo (x:xs) = x
 >
 > main = print "Done"
 >
 >
 > In the output of ddumprntrace, I see this around the declaration of
 > the class Foo:
 >
 > bhtv [x, y]
 > []
 > ([(v1A, x), (v1C, y)], [(afy, x), (afz, y)])
 > bhtv [t]
 > []
 > ([(v1A, x), (vjW, t)], [(afy, x), (afA, t)])
 > rnTycl [(class Foo x where
 > type family FooTy x y
 > foo :: x t > FooTy x t,
 > [(rfv, FooTy)])]
 > [REC
 > class Foo x where
 > type family FooTy x y
 > foo :: x t > FooTy x t]
 >
 >
 > I had expected that the 'x' and 'y' would have had the same uniques. The
 > last tuple of bhtv is a LocalRdrEnv, which is (OccEnv Name, NameSet).
 > Can someone explain to me the uses of both of these parts and why the
 > names mentioned in each have different uniques?
 >
 > Regards,
 > Philip
 >
 >
 >
 >
 > _______________________________________________
 > Glasgowhaskellusers mailing list
 > Glasgowhaskellusers at haskell.org
 > http://www.haskell.org/mailman/listinfo/glasgowhaskellusers



 _______________________________________________
 Glasgowhaskellusers mailing list
 Glasgowhaskellusers at haskell.org
 http://www.haskell.org/mailman/listinfo/glasgowhaskellusers
More information about the Glasgowhaskellusers
mailing list