[Haskell-cafe] advanced class constraints in Haskell 98?

[Ross Paterson]

On Thu, Jan 08, 2009 at 10:27:59PM +0100, Henning Thielemann wrote:
> A nice. I jumped into 4.3 and found
>
> scontext -> simpleclass
>          | (simpleclass_1, ..., simpleclass_n)
>
> simpleclass -> qtycls tyvar
>
> So it must be 'atype' instead of 'tyvar'? Haskell 98 is really mighty.

Oh.  Don't I look silly?  You were absolutely right, it's not Haskell 98.

Actually Hugs does reject it without flags.  Maybe you have a -98 stored
somewhere?