diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/gadt/gadt-dim4.hs')
| -rw-r--r-- | testsuite/tests/ghc-regress/gadt/gadt-dim4.hs | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/testsuite/tests/ghc-regress/gadt/gadt-dim4.hs b/testsuite/tests/ghc-regress/gadt/gadt-dim4.hs deleted file mode 100644 index feb16c7de1..0000000000 --- a/testsuite/tests/ghc-regress/gadt/gadt-dim4.hs +++ /dev/null @@ -1,21 +0,0 @@ -{-# LANGUAGE GADTs #-} - -module ShouldSucceed1 where - -data T1 a where - C :: (T2 b) -> b -> T1 Int - D :: Bool -> T1 Bool - - -- should this work? -data T2 a where - F :: Int -> T2 Int - - --- Should work, even though we start as wobbly --- the existential makes us rigid again -foo x = case x of - C (F _) z -> (z + 1) - - - - |