[EMAIL PROTECTED] wrote:
Roberto Zunino writes:
without seq, there is no way to distinguish between undefined and (const
undefined),

"no way to distinguish" is perhaps too strong. They have slightly
different types.

At a particular type which they both inhabit, such as (a->b) or, to be concrete, (Int -> Int), there is no way to distinguish without seq.

Jules
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to