Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC Commits: d69ea8fe by Vladislav Zavialov at 2025-10-28T18:19:37-04:00 Test case for #17705 Starting with GHC 9.12 (the first release to include 5745dbd3), all examples in this ticket are handled as expected. - - - - - 2 changed files: - + testsuite/tests/typecheck/should_compile/T17705.hs - testsuite/tests/typecheck/should_compile/all.T Changes: ===================================== testsuite/tests/typecheck/should_compile/T17705.hs ===================================== @@ -0,0 +1,15 @@ +{-# LANGUAGE TypeAbstractions #-} + +module T17705 where + +import Data.Kind + +type F :: forall a (b :: a -> Type). a -> Type +type F @_ @f x = f x + +type G :: forall a. forall (b :: a -> Type) -> a -> Type +type G @_ f x = f x + +type H :: forall a (f :: a -> a -> Type). a -> a -> Type +type H @_ @f a b = f a b + ===================================== testsuite/tests/typecheck/should_compile/all.T ===================================== @@ -953,3 +953,4 @@ test('T26358', expect_broken(26358), compile, ['']) test('T26345', normal, compile, ['']) test('T26376', normal, compile, ['']) test('T26457', normal, compile, ['']) +test('T17705', normal, compile, ['']) View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/d69ea8fe2ddb71d9ecae049317d07267... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/d69ea8fe2ddb71d9ecae049317d07267... You're receiving this email because of your account on gitlab.haskell.org.