Commit 7d3ceb38 authored by simonpj's avatar simonpj
Browse files

Test for Trac #2310

parent 67049725
{-# OPTIONS_GHC -XScopedTypeVariables -XPatternSignatures #-}
module Foo where
foo = let c = \ x :: a -> (x :: a) in co
T2310.hs:5:21:
Illegal result type signature `a'
Result signatures are no longer supported in pattern matches
In a lambda abstraction: \ x :: a -> (x :: a)
T2310.hs:5:38: Not in scope: `co'
......@@ -59,4 +59,5 @@ test('rnfail054', normal, compile_fail, [''])
test('rnfail055', if_compiler_lt('ghc', '6.9', skip), multimod_compile_fail, ['RnFail055','-v0'])
test('rn_dup', normal, compile_fail, [''])
test('T2310', normal, compile_fail, [''])
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