testsuite/tests/ghc-regress/typecheck/should_fail/tcfail198.hs


1
2
3
4
5
6
7

{-# LANGUAGE ScopedTypeVariables #-}

module ShouldFail where

f3 :: forall a. [a] -> [a] 
Just f3 = Just (\(x:xs) -> xs ++ [ x :: a ])   -- Not OK!
	-- The type variable does not scope in a pattern binding