Re: [Yhc] Some more changes to core

Ian Lynagh wrote:

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 '=='

?

Indeed you don't, however, the yhc compiler only cares about being able to separate the module name so the change is sufficient for its purposes. To give a truely unique and unambiguous name something like Foo.Bar;Prelude.Eq;Foo.Bar.Baz;== would be necessary. This would also be a possible encoding if people thought it was preferable. Cheers :-) Tom