diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/ExplicitForAllFams1.hs')
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/ExplicitForAllFams1.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/ExplicitForAllFams1.hs b/testsuite/tests/indexed-types/should_compile/ExplicitForAllFams1.hs index 067127cf8a..c16e4e0156 100644 --- a/testsuite/tests/indexed-types/should_compile/ExplicitForAllFams1.hs +++ b/testsuite/tests/indexed-types/should_compile/ExplicitForAllFams1.hs @@ -26,6 +26,6 @@ type family H a b where -- More tests type family D a b where - forall (a :: Type -> Type) (b :: a Int) (c :: k). D (Proxy b) (Proxy c) = () + forall (a :: Type -> Type) (b :: a Int) k (c :: k). D (Proxy b) (Proxy c) = () forall (a :: Bool) (b :: Proxy a). D (Proxy b) () = Int forall (a :: Type). D a a = Maybe a |