blob: bd95add36b1128c3bc72c63088faec411205a894 (
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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
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 { }
|
