Yes, I agree, and I shall make this change forthwith unless anyone disagrees.
thanks Simon | -----Original Message----- | From: Ross Paterson [mailto:[EMAIL PROTECTED]] | Sent: 27 May 2002 13:04 | To: [EMAIL PROTECTED] | Subject: minor H98 anomaly: class declarations | | | 4.3.1 has | | topdecl -> class [scontext =>] simpleclass [where cdecls] | scontext -> simpleclass | | ( simpleclass[1] , ... , simpleclass[n] ) | (n>=0) | simpleclass -> qtycls tyvar | | implying that the class being declared can be qualified: | | class Foo.C a where ... | | in contrast to every other kind of declaration. Nor does the | text explain what this could mean. Shouldn't the first line be | | topdecl -> class [scontext =>] tycls tyvar [where cdecls] | | (GHC doesn't allow qualification; Hugs and Nhc allow it and | do strange things.) _______________________________________________ | Haskell mailing list | [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell | _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell