blob: a3b40c1222863871ce031cfab7ce3a3bfc24b3e1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
T11142.hs:9:49: error:
• Expected kind ‘k1’, but ‘b’ has kind ‘k0’
• In the second argument of ‘SameKind’, namely ‘b’
In the type signature:
foo :: forall b. (forall k (a :: k). SameKind a b) -> ()
T11142.hs:10:7: error:
• Cannot instantiate unification variable ‘a0’
with a type involving foralls:
(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)
|
