diff options
| author | Zubin Duggal <zubin.duggal@gmail.com> | 2022-07-22 12:28:17 +0530 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-07-25 09:42:01 -0400 |
| commit | 918620d9e2f9e4a0122c57d7fdddbe34626f34b0 (patch) | |
| tree | 16dc4cf61d6af486ed2d152cf847ea0ad42a4d11 | |
| parent | 5e93a9521fc2220ee6f4f150c6681f84f33a2134 (diff) | |
| download | haskell-918620d9e2f9e4a0122c57d7fdddbe34626f34b0.tar.gz | |
Add DeepSubsumption09
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/DeepSubsumption09.hs | 10 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/all.T | 1 |
2 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/DeepSubsumption09.hs b/testsuite/tests/typecheck/should_compile/DeepSubsumption09.hs new file mode 100644 index 0000000000..dcf691d1d1 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/DeepSubsumption09.hs @@ -0,0 +1,10 @@ +{-# LANGUAGE Haskell2010 #-} +{-# LANGUAGE ScopedTypeVariables #-} +{-# LANGUAGE RankNTypes #-} + +{-# LANGUAGE ImpredicativeTypes #-} + +module DeepSubsumption09 where + +genericQuery :: forall a4. a4 -> ( forall a5. a5 -> () ) +genericQuery = id ( genericQuery . const ) diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index 2d919a9c14..22c5dc2647 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -852,3 +852,4 @@ test('DeepSubsumption05', normal, compile, ['']) test('DeepSubsumption06', normal, compile, ['-XHaskell98']) test('DeepSubsumption07', normal, compile, ['-XHaskell2010']) test('DeepSubsumption08', normal, compile, ['']) +test('DeepSubsumption09', normal, compile, ['']) |