diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/T12919.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T12919.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T12919.hs b/testsuite/tests/typecheck/should_compile/T12919.hs index 778abfa1e7..38bbda2ccf 100644 --- a/testsuite/tests/typecheck/should_compile/T12919.hs +++ b/testsuite/tests/typecheck/should_compile/T12919.hs @@ -1,4 +1,5 @@ {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, GADTs, ConstraintKinds #-} +{-# LANGUAGE StandaloneKindSignatures #-} module T12919 where @@ -12,7 +13,8 @@ data V :: N -> Type where type family VC (n :: N) :: Type where VC Z = Type -type family VF (xs :: V n) (f :: VC n) :: Type where +type VF :: V n -> VC n -> Type +type family VF xs f where VF VZ f = f data Dict c where |