blob: 8e5662bec311cb3162eb9e2d432b0e30124e2b87 (
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
|
T18191.hs:6:11: error: [GHC-71492]
• GADT constructor type signature cannot contain nested ‘forall’s or contexts
• In the definition of data constructor ‘MkT’
T18191.hs:9:11: error: [GHC-71492]
• GADT constructor type signature cannot contain nested ‘forall’s or contexts
• In the definition of data constructor ‘MkS’
T18191.hs:12:11: error: [GHC-71492]
• GADT constructor type signature cannot contain nested ‘forall’s or contexts
• In the definition of data constructor ‘MkU’
T18191.hs:15:21: error: [GHC-71492]
• GADT constructor type signature cannot contain nested ‘forall’s or contexts
• In the definition of data constructor ‘MkZ1’
T18191.hs:15:31: error: [GHC-89246]
Record syntax is illegal here: {unZ1 :: (a, b)}
T18191.hs:16:19: error: [GHC-71492]
• GADT constructor type signature cannot contain nested ‘forall’s or contexts
• In the definition of data constructor ‘MkZ2’
T18191.hs:16:27: error: [GHC-89246]
Record syntax is illegal here: {unZ1 :: (a, b)}
|
