T7938.stderr 239 Bytes
Newer Older
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
1 2 3 4 5 6

T7938.hs:12:16:
    Expected kind ‛*’, but ‛KP’ has kind ‛KProxy k2’
    In the type ‛(KP :: KProxy k2)’
    In the type instance declaration for ‛Bar’
    In the instance declaration for ‛Foo (a :: k1) (b :: k2)’