Commit 2ef4463d authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #7892

parent 7a7ace72
{-# LANGUAGE TypeFamilies #-}
module T7892 where
class C (f :: * -> *) where
type F (f :: *) :: *
T7892.hs:5:4: Couldn't match kind ‛*’ against ‛* -> *’
......@@ -308,3 +308,4 @@ test('T7778', normal, compile_fail, [''])
test('T7851', normal, compile_fail, [''])
test('T7856', normal, compile_fail, [''])
test('T7869', normal, compile_fail, [''])
test('T7892', normal, compile_fail, [''])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment