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

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