testsuite/tests/polykinds/T9144.stderr


1
2
3
4
5
6
7
8
9


T9144.hs:34:26: error:
    • Couldn't match type ‘Integer’ with ‘FooTerm’
      Expected type: DemoteRep @Nat ('KProxy @Nat)
        Actual type: DemoteRep @Foo ('KProxy @Foo)
    • In the first argument of ‘toSing’, namely ‘n’
      In the expression: toSing n
      In the expression:
        case toSing n of { SomeSing n' -> SomeSing (SBar n') }