minor H98 anomaly: class declarations

[Simon Peyton-Jones]

Yes, I agree, and I shall make this change forthwith
unless anyone disagrees.

thanks

Simon

| -----Original Message-----
| From: Ross Paterson [mailto:ross@soi.city.ac.uk]=20
| Sent: 27 May 2002 13:04
| To: haskell@haskell.org
| Subject: minor H98 anomaly: class declarations
|=20
|=20
| 4.3.1 has
|=20
|    topdecl     -> class [scontext =3D>] simpleclass [where cdecls]
|    scontext    -> simpleclass
|                |  ( simpleclass[1] , ... , simpleclass[n] )  =20
|    (n>=3D0)=20
|    simpleclass -> qtycls tyvar
|=20
| implying that the class being declared can be qualified:
|=20
| 	class Foo.C a where ...
|=20
| in contrast to every other kind of declaration.  Nor does the=20
| text explain what this could mean.  Shouldn't the first line be
|=20
|    topdecl     -> class [scontext =3D>] tycls tyvar [where cdecls]
|=20
| (GHC doesn't allow qualification; Hugs and Nhc allow it and=20
| do strange things.) _______________________________________________
| Haskell mailing list
| Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
|=20