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

Test Trac #7282

parent d7eccdaf
{-# OPTIONS -XTypeFamilies -XDataKinds -XPolyKinds #-}
module T7282 where
class Foo (xs :: [k]) where
type Bar xs :: *
instance Foo '[] where
type Bar '[] = Int
......@@ -207,4 +207,5 @@ test('T7280', normal, compile, [''])
test('T7474', normal, compile, [''])
test('T7489', normal, compile, [''])
test('T7585', normal, compile, [''])
test('T7282', normal, compile, [''])
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