ghc/tests/typecheck/should_compile/tc101.hs

   1 -- !!! Caused ghc-4.04proto to loop!
   2 -- !!! (as reported by Sigbjorn)
   3
   4 module ShouldCompile where
   5
   6 -- This made the compiler (4.04 proto) loop (stack overflow)
   7 -- The bug was in TcUnify.uUnboundVar and is documented there.
   8
   9 type A a = ()
  10
  11 f :: (A a -> a -> ()) -> ()
  12 f = \ _ -> ()
  13
  14 x :: ()
  15 x = f (\ x p -> p x)