diff options
| author | simonpj <simonpj@microsoft.com> | 2009-12-07 08:03:03 +0000 |
|---|---|---|
| committer | simonpj <simonpj@microsoft.com> | 2009-12-07 08:03:03 +0000 |
| commit | 8282528a831e4c030e938ebdbad57603cbc2aef8 (patch) | |
| tree | 2d889cfb148c83ddba5cf94edafdde38e56c49bf /testsuite | |
| parent | 44e336d397dc07247408c159594ee37b0cb8908e (diff) | |
| download | haskell-8282528a831e4c030e938ebdbad57603cbc2aef8.tar.gz | |
Test Trac #3012
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/ghc-regress/typecheck/should_fail/T3102.hs | 12 | ||||
| -rw-r--r-- | testsuite/tests/ghc-regress/typecheck/should_fail/all.T | 1 |
2 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/T3102.hs b/testsuite/tests/ghc-regress/typecheck/should_fail/T3102.hs new file mode 100644 index 0000000000..dd5abb25e1 --- /dev/null +++ b/testsuite/tests/ghc-regress/typecheck/should_fail/T3102.hs @@ -0,0 +1,12 @@ +{-# OPTIONS -XImplicitParams -XRankNTypes #-} + module Bug where + +t :: forall a. ((?p :: Int) => a) -> String +t _ = "Hello" + +f :: (forall a. a -> String) -> Int +f _ = 3 + +result :: Int +result = f t + diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/all.T b/testsuite/tests/ghc-regress/typecheck/should_fail/all.T index 50fdcc066b..5dead1d020 100644 --- a/testsuite/tests/ghc-regress/typecheck/should_fail/all.T +++ b/testsuite/tests/ghc-regress/typecheck/should_fail/all.T @@ -220,6 +220,7 @@ test('T2806', normal, compile_fail, ['']) test('T3323', normal, compile_fail, ['']) test('T3406', normal, compile_fail, ['']) test('T3540', normal, compile_fail, ['']) +test('T3102', normal, compile_fail, ['']) test('T3613', normal, compile_fail, ['']) test('fd-loop', normal, compile_fail, ['']) |