| $ cat T.hs
| {-# OPTIONS_GHC -fglasgow-exts #-}
| module Main where
| class C a b where c1 :: forall a. a -> b
| c :: forall a b. (C a b) => forall a1. a1 -> b
| c = undefined
|
| $ ghc T.hs
|
| T.hs:4:28: parse error on input `forall'
Ah, now that *is* a bug, thank you. I'll fix it.
Simon