CI: Always dump performance metrics.
[ghc.git] / testsuite / tests / typecheck / should_compile / T6018.hs-boot
1 {-# LANGUAGE TypeFamilyDependencies, PolyKinds #-}
2
3 module T6018 where
4
5 import Data.Kind (Type)
6
7 -- these declarations use different type variables than the ones in the source
8 -- file but they should be accepted nevertheless
9
10 type family F d e f = (r :: k) | r -> d e f
11
12 type family FClosed (d :: Type) (e :: Type) (f :: Type)
13   = (r :: Type) | r -> d e f where ..