[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