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

Test Trac #5417

parent dd4e4a10
{-# LANGUAGE TypeFamilies #-}
module T5417 where
import qualified T5417a as C
data B1 a = B1 a
instance C.C1 (B1 a) where
data F (B1 a) = B2 a
data family D a
data B1 a = B1 a
data instance C.F (B1 a) = B2 a
data family D a
class C.C1 a where
data family C.F a
class C.C1 a where
data family C.F a
-- Defined at T5417a.hs:5:10
{-# LANGUAGE TypeFamilies #-}
module T5417a where
class C1 a where
data F a :: *
......@@ -75,3 +75,4 @@ test('T4316', reqlib('mtl'), ghci_script, ['T4316.script'])
test('T4832', normal, ghci_script, ['T4832.script'])
test('T5045', normal, ghci_script, ['T5045.script'])
test('T5130', normal, ghci_script, ['T5130.script'])
test('T5417', normal, ghci_script, ['T5417.script'])
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