3 Sep
2008
3 Sep
'08
7:41 a.m.
Sittampalam, Ganesh wrote:
That's not acceptable. This would cause Unique to break, as its MVar would be created twice. It would also mean that individual Unique and IOWitness values created by <- would have different values depending on which bit of code was referencing them. It would render the extension useless as far as I can see.
The result wouldn't typecheck if two Unique values that now pointed to the two different modules were compared.
I don't understand. If the dynamic loader were to load the same package name and version, and it duplicated the MVar, then Unique values would have the same type and could be compared. -- Ashley Yakeley