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 { }
|
