Re: [Haskell] A puzzle and an annoying feature

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