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

[Ashley Yakeley]

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