diff options
| author | Zubin Duggal <zubin.duggal@gmail.com> | 2022-07-22 12:28:17 +0530 |
|---|---|---|
| committer | Zubin Duggal <zubin.duggal@gmail.com> | 2022-07-22 14:53:14 +0530 |
| commit | 553e487597db27b17a38319cf5fe9555cbf8fcbb (patch) | |
| tree | 9da199a408acbd3a30338f2ed3e89f874a8aaca0 | |
| parent | 51ae3ba02a5d241a4c64f7c7e4808fbd8b814e31 (diff) | |
| download | haskell-wip/T21548.tar.gz | |
Add DeepSubsumption09wip/T21548
| -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, ['']) |