Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_fail / T12709.stderr
1
2 T12709.hs:28:13: error:
3     A levity-polymorphic type is not allowed here:
4       Type: a
5       Kind: TYPE rep
6     In the type of expression: 1
7
8 T12709.hs:28:17: error:
9     A levity-polymorphic type is not allowed here:
10       Type: a
11       Kind: TYPE rep
12     In the type of expression: 2
13
14 T12709.hs:28:21: error:
15     A levity-polymorphic type is not allowed here:
16       Type: a
17       Kind: TYPE rep
18     In the type of expression: 3
19
20 T12709.hs:28:25: error:
21     A levity-polymorphic type is not allowed here:
22       Type: a
23       Kind: TYPE rep
24     In the type of expression: 4