diff options
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/driver/all.T | 3 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T12082.hs | 9 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/all.T | 1 |
3 files changed, 11 insertions, 2 deletions
diff --git a/testsuite/tests/driver/all.T b/testsuite/tests/driver/all.T index ee59befe77..ebd1b5af7f 100644 --- a/testsuite/tests/driver/all.T +++ b/testsuite/tests/driver/all.T @@ -491,5 +491,4 @@ test('T12135', run_command, ['$MAKE -s --no-print-directory T12135']) -test('T12192', normal, run_command, - ['mkdir foo && (cd foo && {compiler} -v0 ../T12192)']) +test('T12192', normal, run_command, ['mkdir foo && (cd foo && {compiler} -v0 ../T12192)'])
\ No newline at end of file diff --git a/testsuite/tests/typecheck/should_compile/T12082.hs b/testsuite/tests/typecheck/should_compile/T12082.hs new file mode 100644 index 0000000000..7aa4196737 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T12082.hs @@ -0,0 +1,9 @@ +{-# LANGUAGE RankNTypes #-} + +module T12082 where + +import Data.Typeable (Typeable) +import Control.Monad.ST (RealWorld) + +f :: forall a. (forall b. Typeable b => b -> a) -> a +f = undefined :: (RealWorld -> a) -> a diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index 995fa2a566..f107ba16d6 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -532,3 +532,4 @@ test('T12067', extra_clean(['T12067a.hi', 'T12067a.o']), test('T12185', normal, compile, ['']) test('T12133', normal, compile, ['']) test('T12381', normal, compile, ['']) +test('T12082', normal, compile, ['']) |