diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc135.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/tc135.hs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc135.hs b/testsuite/tests/typecheck/should_compile/tc135.hs new file mode 100644 index 0000000000..6ede73f573 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/tc135.hs @@ -0,0 +1,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] |