diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2016-07-20 17:25:37 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-07-20 17:28:28 +0200 |
| commit | 93acc02f7db7eb86967b4ec586359f408d62f75d (patch) | |
| tree | d5684fb36fb7522e39fc4abdd345525cea25c548 | |
| parent | a4f2b76661fa2056172b27b9883df1f488b7a0dc (diff) | |
| download | haskell-93acc02f7db7eb86967b4ec586359f408d62f75d.tar.gz | |
Add another testcase for #12082
Test Plan: Validate, should pass.
Reviewers: austin
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D2399
GHC Trac Issues: #12082
| -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, ['']) |