blob: ce877d03328109df896eefc0050dc65047a50647 (
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:
• GADT constructor type signature cannot contain nested ‘forall’s or contexts
• In the definition of data constructor ‘MkT’
T18191.hs:9:11: error:
• GADT constructor type signature cannot contain nested ‘forall’s or contexts
• In the definition of data constructor ‘MkS’
T18191.hs:12:11: error:
• GADT constructor type signature cannot contain nested ‘forall’s or contexts
• In the definition of data constructor ‘MkU’
T18191.hs:15:21: error:
• 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:
• 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)}
|
