summaryrefslogtreecommitdiff
path: root/testsuite/tests/warnings/should_compile/T19564a.stderr
blob: f64805fa3106193f70d2fa8d75c967e1377ad574 (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
36

T19564a.hs:7:1: warning: [-Wmissing-kind-signatures]
    Top-level type constructor with no standalone kind signature:
      type Id :: * -> *

T19564a.hs:11:1: warning: [-Wmissing-kind-signatures]
    Top-level type constructor with no standalone kind signature:
      type Alt :: (* -> *) -> Constraint

T19564a.hs:15:1: warning: [-Wmissing-kind-signatures]
    Top-level type constructor with no standalone kind signature:
      type Arr :: * -> * -> *

T19564a.hs:16:1: warning: [-Wmissing-kind-signatures]
    Top-level type constructor with no standalone kind signature:
      type B :: *

T19564a.hs:19:1: warning: [-Wmissing-kind-signatures]
    Top-level type constructor with no standalone kind signature:
      type YesNo :: *

T19564a.hs:20:1: warning: [-Wmissing-kind-signatures]
    Top-level type constructor with no standalone kind signature:
      type V2 :: * -> *

T19564a.hs:23:1: warning: [-Wmissing-kind-signatures]
    Top-level type constructor with no standalone kind signature:
      type Free :: (* -> *) -> * -> *

T19564a.hs:28:1: warning: [-Wmissing-kind-signatures]
    Top-level type constructor with no standalone kind signature:
      type D1 :: * -> *

T19564a.hs:31:1: warning: [-Wmissing-kind-signatures]
    Top-level type constructor with no standalone kind signature:
      type C :: forall {k}. k -> Constraint