1 files changed, 15 insertions, 0 deletions
diff --git a/testsuite/tests/rename/should_fail/rnfail018.hs b/testsuite/tests/rename/should_fail/rnfail018.hs
new file mode 100644
index 0000000000..1b3ad82762
--- /dev/null
+++ b/testsuite/tests/rename/should_fail/rnfail018.hs
@@ -0,0 +1,15 @@
+{-# LANGUAGE MultiParamTypeClasses, ExplicitForAll #-}
+
+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
+
+