blob: e12db97b6ec41ce71ff9909973ca435de59e7d57 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE TypeFamilyDependencies, PolyKinds #-}
module T6018 where
import Data.Kind (Type)
-- 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 :: Type) (e :: Type) (f :: Type)
= (r :: Type) | r -> d e f where ..
|