summaryrefslogtreecommitdiff
path: root/testsuite/tests/rename/should_fail/RnFail055.hs-boot
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/rename/should_fail/RnFail055.hs-boot')
-rw-r--r--testsuite/tests/rename/should_fail/RnFail055.hs-boot29
1 files changed, 29 insertions, 0 deletions
diff --git a/testsuite/tests/rename/should_fail/RnFail055.hs-boot b/testsuite/tests/rename/should_fail/RnFail055.hs-boot
new file mode 100644
index 0000000000..57a97d3695
--- /dev/null
+++ b/testsuite/tests/rename/should_fail/RnFail055.hs-boot
@@ -0,0 +1,29 @@
+{-# LANGUAGE MultiParamTypeClasses,RankNTypes,ExistentialQuantification,DatatypeContexts #-}
+module RnFail055 where
+
+f1 :: Float -> Int
+
+type S1 a b c = (a,b)
+
+type S2 a b = forall b. (a,b)
+
+type S3 t = [t]
+
+data T1 a b = T1 [a] [b]
+
+data (Eq a) => T2 a b = T2 a
+
+data T3 = T3
+data T3' = T3'
+
+data T4 b = T4 (forall a. b -> a)
+
+data T5 a = T5 a
+
+data T6 = T6 !Int
+
+data T7 a = forall b . T7 a
+
+class C1 a b where { m1 :: a -> b }
+class C2 a b where { m2 :: a -> b }
+class (Ord a, Eq a) => C3 a where { }