testsuite/tests/typecheck/should_compile/tc135.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE ScopedTypeVariables, ExistentialQuantification #-}

-- !!! scoped type variables w/ existential types
-- this test failed in GHC 5.00

module ShouldCompile where

data T = forall a. MkT [a]

f :: T -> T
f (MkT [t::a]) = MkT t3
    where t3::[a] = [t,t,t]