Fold template-haskell.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_compile / tc136.hs
1 {-# LANGUAGE ScopedTypeVariables #-}
2
3 -- !!! scoped type variables
4 -- this test failed in pre-release GHC 5.02
5
6 module ShouldCompile where
7
8 f :: forall x. x -> x -> x
9 f (x::x) (y::x) = x
10 -- Two points: (a) we are using x as a term variable and as a type variable
11 -- (b) the type variable appears twice, but that is OK