Commit 93acc02f authored by Ben Gamari's avatar Ben Gamari Committed by Ben Gamari
Browse files

Add another testcase for #12082

Test Plan: Validate, should pass.

Reviewers: austin

Subscribers: thomie

Differential Revision:

GHC Trac Issues: #12082
parent a4f2b766
......@@ -491,5 +491,4 @@ test('T12135',
['$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
{-# 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
......@@ -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, [''])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment