blob: ef0251a00388bd96b6e5ef9b90da3be121170054 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
T12087.hs:6:20: error:
GADT constructor type signature cannot contain nested ‘forall’s or contexts
In the definition of data constructor ‘MkF1’
T12087.hs:9:25: error:
GADT constructor type signature cannot contain nested ‘forall’s or contexts
In the definition of data constructor ‘MkF2’
T12087.hs:12:34: error:
GADT constructor type signature cannot contain nested ‘forall’s or contexts
In the definition of data constructor ‘MkF3’
T12087.hs:15:36: error:
GADT constructor type signature cannot contain nested ‘forall’s or contexts
In the definition of data constructor ‘MkF4’
T12087.hs:18:25: error:
GADT constructor type signature cannot contain nested ‘forall’s or contexts
In the definition of data constructor ‘MkF5’
|
