Merge non-moving garbage collector
[ghc.git] / testsuite / tests / typecheck / should_compile / tc135.hs
1 {-# LANGUAGE ScopedTypeVariables, ExistentialQuantification #-}
2
3 -- !!! scoped type variables w/ existential types
4 -- this test failed in GHC 5.00
5
6 module ShouldCompile where
7
8 data T = forall a. MkT [a]
9
10 f :: T -> T
11 f (MkT [t::a]) = MkT t3
12 where t3::[a] = [t,t,t]