diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/T12526.hs')
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/T12526.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/T12526.hs b/testsuite/tests/indexed-types/should_compile/T12526.hs index 35a653a544..71d635d609 100644 --- a/testsuite/tests/indexed-types/should_compile/T12526.hs +++ b/testsuite/tests/indexed-types/should_compile/T12526.hs @@ -1,10 +1,12 @@ {-# LANGUAGE TypeFamilies, MonoLocalBinds #-} module T12526 where -type family P (s :: * -> *) :: * -> * -> * +import Data.Kind (Type) + +type family P (s :: Type -> Type) :: Type -> Type -> Type type instance P Signal = Causal -type family S (p :: * -> * -> *) :: * -> * +type family S (p :: Type -> Type -> Type) :: Type -> Type type instance S Causal = Signal class (P (S p) ~ p) => CP p |