On Sat, Aug 04, 2007 at 11:01:38PM +0100, Tom Shackell wrote: > > Consider the following class instance > > module Foo.Bar > > data Baz = Baz > > instance Eq Baz where > a == b = True > > The Core generated for the '==' function would currently look like: > > Foo.Bar.Prelude.Eq.Foo.Bar.Baz.== a b = True > > This encodes: > - that the instance is defined in the Foo.Bar module > - that it is an instance of the class Prelude.Eq > - that the data type being given an instance is Foo.Bar.Baz > - that the function being defined is '==' > > suggest changing the name Core generates to > > Foo.Bar;Prelude.Eq.Foo.Bar.Baz.==
How do you know that this isn't: - that the instance is defined in the Foo.Bar module - that it is an instance of the class Prelude.Eq.Foo - that the data type being given an instance is Bar.Baz - that the function being defined is '==' ? Thanks Ian _______________________________________________ Yhc mailing list Yhc@haskell.org http://www.haskell.org/mailman/listinfo/yhc
