blob: 03f2465c7a60a19f9820dd0cc7ee748377b17b3e (
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
|
T12087.hs:6:3: error:
• GADT constructor type signature cannot contain nested ‘forall’s or contexts
Suggestion: instead use this type signature:
MkF1 :: forall a. (Ord a, Eq a) => a -> F1 a
• In the definition of data constructor ‘MkF1’
In the data type declaration for ‘F1’
T12087.hs:9:3: error:
• GADT constructor type signature cannot contain nested ‘forall’s or contexts
Suggestion: instead use this type signature:
MkF2 :: forall a. (Ord a, Eq a) => F2 a
• In the definition of data constructor ‘MkF2’
In the data type declaration for ‘F2’
T12087.hs:12:3: error:
• GADT constructor type signature cannot contain nested ‘forall’s or contexts
Suggestion: instead use this type signature:
MkF3 :: forall a b. (Eq a, Eq b) => b -> F3 a
• In the definition of data constructor ‘MkF3’
In the data type declaration for ‘F3’
T12087.hs:15:3: error:
• GADT constructor type signature cannot contain nested ‘forall’s or contexts
Suggestion: instead use this type signature:
MkF4 :: forall a b. (Eq a, Eq b) => b -> F4 a
• In the definition of data constructor ‘MkF4’
In the data type declaration for ‘F4’
T12087.hs:18:3: error:
• GADT constructor type signature cannot contain nested ‘forall’s or contexts
Suggestion: instead use this type signature:
MkF5 :: forall a b. a -> Int -> Int -> b -> F5 a
• In the definition of data constructor ‘MkF5’
In the data type declaration for ‘F5’
|
