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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
