Unbound kind variable in synonym kind

goldfirere / ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE

http://www.haskell.org/ghc/

Other

25 stars 1 forks source link

Open goldfirere opened 9 years ago

goldfirere commented 9 years ago

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

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