blob: e9718c57d3129dfa653ea66361237e810c79ef89 (
plain)
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
|