blob: 52f48d2bed85fe5dfbac0c7e8849160487c935d2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
T17021.hs:18:5: error:
Cannot use function with levity-polymorphic arguments:
MkT :: Int -> T
(Note that levity-polymorphic primops such as 'coerce' and unboxed tuples
are eta-expanded internally because they must occur fully saturated.
Use -fprint-typechecker-elaboration to display the full expression.)
Levity-polymorphic arguments: Int :: TYPE (Id ('BoxedRep 'Lifted))
T17021.hs:18:9: error:
A levity-polymorphic type is not allowed here:
Type: Int
Kind: TYPE (Id ('BoxedRep 'Lifted))
In the type of expression: 42
|