[Yhc] YHC.Primitive;_E

Tom Shackell shackell at cs.york.ac.uk
Mon Feb 25 09:43:57 EST 2008


Malcolm Wallace wrote:
> Whether this is actually a valid concern, given that the symbol can be
> hidden using the module system instead, is a different policy decision.

If I remember correctly, _E is defined inside the YHC.Primitive module. 
So unless someone deliberately imports that module (and they have no 
reason to do so) they will never know of the existence of the data type.

Cheers


Tom


More information about the Yhc mailing list