--- /dev/null
+{-# OPTIONS -fglasgow-exts #-}
+
+module ShouldFail where
+
+-- !!! For-all with parens
+
+-- This one crashed ghc-4.04proto; the parens after the for-all fooled it
+
+class Monad m => StateMonad s m where
+ getState :: m s
+
+setState0 :: forall b. (StateMonad (a,b) m => m a)
+setState0 = getState >>= \ (l,_r) -> return l
+
+
--- /dev/null
+
+rnfail018.hs:12:
+ The constrained type variable `b' does not appear in the type `m a'
+ In the type signature for `setState0'
+
+rnfail018.hs:12: Type variable not in scope: `a'
+
+rnfail018.hs:12: Type variable not in scope: `m'
+
+rnfail018.hs:12: Type variable not in scope: `m'
+
+rnfail018.hs:12: Type variable not in scope: `a'
+
+Compilation had errors
+