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/gadt/lazypatok.hs | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 testsuite/tests/gadt/lazypatok.hs (limited to 'testsuite/tests/gadt/lazypatok.hs') diff --git a/testsuite/tests/gadt/lazypatok.hs b/testsuite/tests/gadt/lazypatok.hs new file mode 100644 index 0000000000..bf1282fe39 --- /dev/null +++ b/testsuite/tests/gadt/lazypatok.hs @@ -0,0 +1,14 @@ +{-# LANGUAGE GADTs #-} + +-- It's not clear whether this one should succed or fail, +-- Arguably it should succeed because the type refinement on +-- T1 should make (y::Int). Currently, though, it succeeds + +module ShouldFail where + +data T a where + T1 :: Int -> T Int + +f :: (T a, a) -> Int +f ~(T1 x, y) = x+y + -- cgit v1.2.1