A good point. You are right that the report is not very explicit on this point; and right that omitting the qualifier would be in the spirit of the story for type sigs and instance decls.
I'd be interested to know what others think. Simon | -----Original Message----- | From: Iavor S. Diatchki [mailto:[EMAIL PROTECTED]] | Sent: 04 December 2001 18:41 | To: [EMAIL PROTECTED] | Subject: Re: Haskell 98 Revised | | | hello, | | it seems that if the qualified names in instance declarations | are removed, the qualified methods (data constructors) in | exports ought to be removed as | well. example: currently in Haskell one may write | | module M ( P.C(Q.f) ) where | import qualified P | import qualified Q | ... | qualifying the method (or data cosntructor) does not give | any additional | information. however if i read the current report correctly | (and i don't | think it is quite clear on that) omitting the qualifier of | "f" results in an | invalid program as there is no method "f" in scope (there | probably are "P.f" | and "Q.f"however). having said that, GHC accepts the | program without the | qualifier,so it seems that it essentailly ignores the qualifiers of | "subordinate" names in export lists. so why not adjust the | report so that | such qualified names are just not allowed? | | bye | iavor | | | | | | | _______________________________________________ | Haskell mailing list | [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell | _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
