On 18/01/07, Joachim Breitner <[EMAIL PROTECTED]> wrote:
But if _|_ can take on any type, it can take on a -> b. And in what way does it then differ from \x -> _|_?
_|_ is bottom. \x -> _|_ is a function that takes a value and returns bottom. You can tell them apart, using seq, as Neil showed, but apart from that I guess they're unique. If you had: f = undefined g = \x -> undefined Then f x = g x for all x. -- -David House, [EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
