. 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
Folks,
Concerning the recent change about instance declarations, should
this be valid?
module M( C(op1) ) where-- NB: op2 not exported
class C a where
op1 :: a-a
op2 :: a-a
module N where
import M
instance C
Hi!
For whatever that is worth, my semantics agrees with Simon's point here,
ie in the example code
module M( C(op1) ) where-- NB: op2 not exported
class C a where
op1 :: a-a
op2 :: a-a
module N where
import M
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
|
http://research.microsoft.com/~simonpj/haskell98-revised/haskell98-repor
t-html/index.html
| says Revised: October 2001 - am I seeing the latest version?
Yes you are -- my mistake.
| You still have
| lexeme - ... | qop | ...
| in the lexical syntax but have
| qop - qvarop | qconop
|
Hi Simon
It's that time of the month. I'm putting out the November release
of the Revised Haskell 98 Report. As ever, I earnestly seek your
feedback.
In appendix B (syntax), B.3 (layout) says
* A stream of tokens as specified by the lexical syntax in the Haskell
report, with the
On Fri, Nov 02, 2001 at 09:30:36AM -0800, Simon Peyton-Jones wrote:
Haskellers!
Hi Simon :-)
It's that time of the month. I'm putting out the November release
of the Revised Haskell 98 Report. As ever, I earnestly seek your
feedback. Especially I'd like to know whether I have stumbled