Commit e65d702c authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #7341

parent cdb03615
{-# LANGUAGE KindSignatures, TypeFamilies, PolyKinds #-}
module T7341 where
data Proxy a = Proxy
class C a where
type F (a :: *) :: *
op :: Proxy a -> Int
instance C [] where
op _ = 5
\ No newline at end of file
......@@ -76,4 +76,5 @@ test('Holdermans', normal, compile_fail,[''])
test('T7328', normal, compile_fail,[''])
test('T7332', normal, compile,[''])
test('T7347', normal, compile_fail,[''])
test('T7341', 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