[Haskell] A puzzle and an annoying feature

Lennart Augustsson lennart at augustsson.net
Thu Nov 25 13:14:34 EST 2004

Graham Klyne wrote:
> I have a concern with this, if I understand the issue correctly.
> Suppose I have a source module that compiles and runs correctly.
> Now suppose I add a restricted (selective) import statement to the file, 
> explicitly introducing a name that I know does not clash with anything 
> in my module.  I expect the module to continue to compile and run 
> correctly.
> If I understand Lennart's proposal correctly, adding such an import 
> could cause the compilation to fail, by adding new instance options that 
> then needs to be disambiguated.
Not in my particular case.  The class is local to the module.  Any
instance declaration would have to be in that module.

	-- Lennart

More information about the Haskell mailing list