loop?

[Jon Fairbairn]

The following module takes an inordinately long time to
compile in ghc[i] (5.04):

module Y2 where

-- define the Y combinator without using built in recursion

data Y2 t = Recur (Y2 t  -> (t -> t) -> t)

y f = y2 (Recur y2) f
      where y2:: Y2 t -> (t -> t) -> t
            y2 (Recur y2') f = f (y2' (Recur y2') f)
-- 
Jón Fairbairn                                 Jon.Fairbairn at cl.cam.ac.uk
31 Chalmers Road                                         jf at cl.cam.ac.uk
Cambridge CB1 3SZ            +44 1223 570179 (after 14:00 only, please!)