testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / tc141.hs
1 {-# LANGUAGE ScopedTypeVariables #-}
2
3 -- Scoped type variables on pattern bindings
4 -- This should *fail* on GHC 5.02 and lower,
5 -- It's a post-5.02 enhancements to allow them.
6
7 -- It's an error again in GHC 6.6!
8
9 module ShouldCompile where
10
11 f x = let (p::a,q::a) = x in (q::a,p)
12
13 g a b = let y::a = a in
14 let v :: a
15 v = b
16 in v
17