{-# LANGUAGE ScopedTypeVariables #-}

-- Scoped type variables on pattern bindings
-- This should *fail* on GHC 5.02 and lower, 
-- It's a post-5.02 enhancements to allow them.

-- It's an error again in GHC 6.6!

module ShouldCompile where

f x = let (p::a,q::a) = x in (q::a,p)

g a b = let y::a = a in 
        let  v :: a
	     v = b
	 in v