summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T12709.stderr
blob: f8da5ea1206899386b1a1b2d502b378ec90b6496 (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 representation-polymorphic type is not allowed here:
      Type: a
      Kind: TYPE rep
    In the type of expression: 1

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

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

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