1 files changed, 21 insertions, 0 deletions
diff --git a/testsuite/tests/rename/should_fail/rnfail020.hs b/testsuite/tests/rename/should_fail/rnfail020.hs
new file mode 100644
index 0000000000..decd2e80ad
--- /dev/null
+++ b/testsuite/tests/rename/should_fail/rnfail020.hs
@@ -0,0 +1,21 @@
+{-# LANGUAGE ScopedTypeVariables #-}
+
+-- !!! Error messages with scoped type variables
+
+module Foo where
+
+data Set a = Set a
+
+unionSetB :: Eq a => Set a -> Set a -> Set a
+unionSetB (s1 :: Set a) s2 = unionSets s1 s2
+ where
+   unionSets :: Eq a => Set a -> Set a -> Set a
+   unionSets a b = a
+
+
+{- In GHC 4.04 this gave the terrible message:
+
+    None of the type variable(s) in the constraint `Eq a'
+	appears in the type `Set a -> Set a -> Set a'
+    In the type signature for `unionSets'
+-}