Haskell 98 Revised

[Simon Peyton-Jones]

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. =20

I'd be interested to know what others think.

Simon

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