summaryrefslogtreecommitdiff
path: root/testsuite/tests/rename/should_fail/RnFail055.hs-boot
blob: 57a97d3695dcd52f1f32d1e38ef3bce90029633d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
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 { }