On Sat, Feb 23, 2008 at 1:05 AM, <[EMAIL PROTECTED]> wrote: > reset ((\x -> x + x) (shift f f))
This one doesn't typecheck, since you can't unify the types (a -> r) and r. -- Taral <[EMAIL PROTECTED]> "Please let me know if there's any further trouble I can give you." -- Unknown _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe