ghc icon indicating copy to clipboard operation
ghc copied to clipboard
verified publisher icon goldfirere

Unbound kind variable in synonym kind

Open goldfirere opened this issue 11 years ago • 0 comments 

type T3 k1 k2 = forall (f :: k1 -> k2) (a :: k1). f a

has kind * -> * -> k2. Oops.

See also GHC#10114.

goldfirere avatar Apr 08 '15 12:04 goldfirere