[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