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

[Ashley Yakeley]

Sittampalam, Ganesh wrote:
> I am suggesting that this duplication process, whether conducted by the
> dynamic loader or something else, should behave as if they did not have
> the same package name or version.
> 
> This is certainly a valid transformation for Data.Unique, I am simply
> saying that it should be a valid transformation on any module.

So if I dynamically load module M that uses base, I will in fact get a 
completely new and incompatible version of Maybe, IO, [], Bool, Char 
etc. in all the type-signatures of M?

-- 
Ashley Yakeley