Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T9144.stderr
1
2 T9144.hs:34:26: error:
3     • Couldn't match type ‘Integer’ with ‘FooTerm’
4       Expected type: DemoteRep 'KProxy
5         Actual type: DemoteRep 'KProxy
6       Use -fprint-explicit-kinds to see the kind arguments
7     • In the first argument of ‘toSing’, namely ‘n’
8       In the expression: toSing n
9       In the expression:
10         case toSing n of { SomeSing n' -> SomeSing (SBar n') }