T11142.stderr 690 Bytes
Newer Older
1

2
T11142.hs:9:49: error:
3
    • Expected kind ‘k1’, but ‘b’ has kind ‘k0’
4 5
    • In the second argument of ‘SameKind’, namely ‘b’
      In the type signature:
6
        foo :: forall b. (forall k (a :: k). SameKind a b) -> ()
7 8 9

T11142.hs:10:7: error:
    • Cannot instantiate unification variable ‘a0’
10
      with a type involving polytypes:
11 12 13 14 15 16 17
        (forall k1 (a :: k1). SameKind a b) -> ()
        GHC doesn't yet support impredicative polymorphism
    • In the expression: undefined
      In an equation for ‘foo’: foo = undefined
    • Relevant bindings include
        foo :: (forall k1 (a :: k1). SameKind a b) -> ()
          (bound at T11142.hs:10:1)