SCC analysis for instances as well as types/classes
[ghc.git] / testsuite / tests / typecheck / should_compile / tc140.hs
1 {-# LANGUAGE RankNTypes #-}
2
3 -- Make sure for-alls can occur in data types
4
5 module Foo where
6
7 newtype CPS1 a = CPS1 { unCPS1 :: forall ans . (a -> ans) -> ans }
8
9 newtype CPS2 a = CPS2 (forall ans . (a -> ans) -> ans)
10 -- This one also has an interesting record selector;
11 -- caused an applyTypeArgs crash in 5.02.1
12
13 data CPS3 a = CPS3 { unCPS3 :: forall ans . (a -> ans) -> ans }
14 data CPS4 a = CPS4 (forall ans . (a -> ans) -> ans)