[Haskell-cafe] Re: [Haskell] Top Level <-

Ashley Yakeley 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.

Ashley Yakeley

More information about the Haskell-Cafe mailing list