diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_compile/tc140.hs')
| -rw-r--r-- | testsuite/tests/ghc-regress/typecheck/should_compile/tc140.hs | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/tc140.hs b/testsuite/tests/ghc-regress/typecheck/should_compile/tc140.hs deleted file mode 100644 index 6536e3d47d..0000000000 --- a/testsuite/tests/ghc-regress/typecheck/should_compile/tc140.hs +++ /dev/null @@ -1,14 +0,0 @@ -{-# LANGUAGE Rank2Types #-} - --- Make sure for-alls can occur in data types - -module Foo where - -newtype CPS1 a = CPS1 { unCPS1 :: forall ans . (a -> ans) -> ans } - -newtype CPS2 a = CPS2 (forall ans . (a -> ans) -> ans) - -- This one also has an interesting record selector; - -- caused an applyTypeArgs crash in 5.02.1 - -data CPS3 a = CPS3 { unCPS3 :: forall ans . (a -> ans) -> ans } -data CPS4 a = CPS4 (forall ans . (a -> ans) -> ans) |