1 files changed, 48 insertions, 0 deletions
diff --git a/testsuite/tests/rename/should_fail/RnFail055.hs b/testsuite/tests/rename/should_fail/RnFail055.hs
new file mode 100644
index 0000000000..bd95add36b
--- /dev/null
+++ b/testsuite/tests/rename/should_fail/RnFail055.hs
@@ -0,0 +1,48 @@
+{-# LANGUAGE MultiParamTypeClasses,RankNTypes,ExistentialQuantification,DatatypeContexts #-}
+module RnFail055 where
+
+import RnFail055_aux
+
+-- Id with different type
+f1 :: Int -> Float
+f1 = undefined
+
+-- type synonym with different arity
+type S1 a b = (a,b)
+
+-- type synonym with different rhs
+type S2 a b = forall a. (a,b)
+
+-- type synonym with alpha-renaming (should be ok)
+type S3 a = [a]
+
+-- datatype with different fields
+data T1 a b = T1 [b] [a]
+
+-- datatype with different stupid theta
+data (Eq b) => T2 a b = T2 a
+
+-- different constructor name
+data T3' = T3
+data T3 = T3'
+
+-- check alpha equivalence
+data T4 a = T4 (forall b. a -> b)
+
+-- different field labels
+data T5 a = T5 { field5 :: a }
+
+-- different strict marks
+data T6 = T6 Int
+
+-- different existential quantification
+data T7 a = forall a . T7 a
+
+-- extra method in the hs-boot
+class C1 a b where {}
+
+-- missing method in the hs-boot
+class C2 a b where { m2 :: a -> b; m2' :: a -> b }
+
+-- different superclasses
+class (Eq a, Ord a) => C3 a where { }