Commit dbb5a87f authored by ian@well-typed.com's avatar ian@well-typed.com

Add a test for #7474

parent 33ab3f54
{-# LANGUAGE TypeFamilies, GADTs, FlexibleContexts, MultiParamTypeClasses #-}
module T7474 where
type family T :: * -> *
data E :: * -> * where
E :: C p => T (T p) -> E p
class C' b a where c :: T b -> a
class C' (T a) a => C a
-- f :: C' (T p) a => E p -> a
f (E d) = c d
......@@ -200,5 +200,6 @@ test('T7156', normal, compile, [''])
test('T5591a', normal, compile, [''])
test('T5591b', normal, compile, [''])
test('T7280', normal, compile, [''])
test('T7474', 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