blob: d1cb0687cc2f0742c506e71033ed76ab7b9a0750 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE InjectiveTypeFamilies, PolyKinds #-}
module T6018 where
-- these declarations use different type variables than the ones in the source
-- file but they should be accepted nevertheless
type family F d e f = (r :: k) | r -> d e f
type family FClosed (d :: *) (e :: *) (f :: *) = (r :: *) | r -> d e f where ..
|