ghc-cabal: Use fromFlagOrDefault instead of fromFlag
[ghc.git] / testsuite / tests / gadt / T12087.stderr
1
2 T12087.hs:6:3: error:
3     • GADT constructor type signature cannot contain nested ‘forall’s or contexts
4       Suggestion: instead use this type signature:
5         MkF1 :: forall a. (Ord a, Eq a) => a -> F1 a
6     • In the definition of data constructor ‘MkF1’
7       In the data type declaration for ‘F1’
8
9 T12087.hs:9:3: error:
10     • GADT constructor type signature cannot contain nested ‘forall’s or contexts
11       Suggestion: instead use this type signature:
12         MkF2 :: forall a. (Ord a, Eq a) => a -> F2 a
13     • In the definition of data constructor ‘MkF2’
14       In the data type declaration for ‘F2’
15
16 T12087.hs:12:3: error:
17     • GADT constructor type signature cannot contain nested ‘forall’s or contexts
18       Suggestion: instead use this type signature:
19         MkF3 :: forall a b. (Eq a, Eq b) => a -> b -> F3 a
20     • In the definition of data constructor ‘MkF3’
21       In the data type declaration for ‘F3’
22
23 T12087.hs:15:3: error:
24     • GADT constructor type signature cannot contain nested ‘forall’s or contexts
25       Suggestion: instead use this type signature:
26         MkF4 :: forall a b. (Eq a, Eq b) => a -> b -> F4 a
27     • In the definition of data constructor ‘MkF4’
28       In the data type declaration for ‘F4’
29
30 T12087.hs:18:3: error:
31     • GADT constructor type signature cannot contain nested ‘forall’s or contexts
32       Suggestion: instead use this type signature:
33         MkF5 :: forall a b. Int -> Int -> a -> Int -> Int -> b -> F5 a
34     • In the definition of data constructor ‘MkF5’
35       In the data type declaration for ‘F5’