From 16514f272fb42af6e9c7674a9bd6c9dce369231f Mon Sep 17 00:00:00 2001 From: David Terei Date: Wed, 20 Jul 2011 11:09:03 -0700 Subject: Move tests from tests/ghc-regress/* to just tests/* --- testsuite/tests/typecheck/should_compile/tc198.hs | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 testsuite/tests/typecheck/should_compile/tc198.hs (limited to 'testsuite/tests/typecheck/should_compile/tc198.hs') diff --git a/testsuite/tests/typecheck/should_compile/tc198.hs b/testsuite/tests/typecheck/should_compile/tc198.hs new file mode 100644 index 0000000000..e931ac5cb8 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/tc198.hs @@ -0,0 +1,9 @@ +{-# LANGUAGE Rank2Types, ScopedTypeVariables #-} + +-- This should work, because the type sig and the type +-- in the pattern match exactly + +module Foo where + +foo :: (forall a. a -> b) -> b +foo (f :: forall a. a -> b) = f undefined :: b -- cgit v1.2.1