[Yhc] Some more changes to core
Tom Shackell
shackell at cs.york.ac.uk
Sun Aug 5 04:20:50 EDT 2007
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
More information about the Yhc
mailing list