ghc/tests/typecheck/should_compile/tc100.hs

   1 -- !!! Caused ghc-3.03 and 4.01 tc to enter a
   2 -- !!! a blackhole (as reported by P. Callaghan.)
   3 module ShouldCompile where
   4
   5 type C a = D a -> a
   6 newtype D a = DD (D_ a)
   7 type D_ a = C (Maybe a)