diff options
-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, ['']) |