summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T12709.stderr
blob: 9d79d8dd0c3321ec2aa31f1435e8907d3648b4df (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

T12709.hs:28:13: error:
    A levity-polymorphic type is not allowed here:
      Type: a
      Kind: TYPE rep
    In the type of expression: 1

T12709.hs:28:17: error:
    A levity-polymorphic type is not allowed here:
      Type: a
      Kind: TYPE rep
    In the type of expression: 2

T12709.hs:28:21: error:
    A levity-polymorphic type is not allowed here:
      Type: a
      Kind: TYPE rep
    In the type of expression: 3

T12709.hs:28:25: error:
    A levity-polymorphic type is not allowed here:
      Type: a
      Kind: TYPE rep
    In the type of expression: 4