[Haskell-cafe] Re: [Haskell] Top Level <-
ashley at semantic.org
Wed Sep 3 03:41:09 EDT 2008
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.
More information about the Haskell-Cafe