I have experimented with the definition of class assertions in section 4.1.3
in the Haskell 98 report, and found that GHC 4.08 and GHC 5.00.1
(invoked via ``ghc -c Test.hs'') both derive and accept type arguments
(in class assertions) that do not have a variable as head.
I cannot really imagine
d that GHC
only
accepts H98 types.
Simon
| -Original Message-
| From: [EMAIL PROTECTED]
| [mailto:[EMAIL PROTECTED]]
| Sent: 24 July 2001 12:38
| To: [EMAIL PROTECTED]
| Subject: GHC derives and accepts illegal Haskell98 contexts
|
|
|
| I have experimented with the definition of class a