Genuinely inspiring though it is to observe the vitality of the Haskell community, especially by comparison with we taciturn SML folks, recent discussions on top-level initialization etc. have got a bit high-bandwidth for the casual lurker. I really don't want to unsubscribe, so might I politely, respectfully and gently reiterate Simon's request that such skirmishes move to Haskell Café after the first few volleys have been exchanged? That's what it's there for.
Peace and purity, Nick -----Original Message----- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Graham Klyne Sent: 26 November 2004 11:27 To: Lennart Augustsson Cc: The Haskell Mailing List Subject: Re: [Haskell] A puzzle and an annoying feature At 19:14 25/11/04 +0100, Lennart Augustsson wrote: >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. OK, I missed that. But, it seems to me, that adding export of the class concerned to the module heading could raise a similar scenario to that mentioned. It's less clear-cut, but it seems surprising to me that the choice of whether or not to export something from a module should (potentially) change its meaning or validity. #g ------------ Graham Klyne For email: http://www.ninebynine.org/#Contact _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
