[Haskell-cafe] Re: Control.Exception.evaluate - 'correct definition' not so correct

[Janis Voigtlaender]

Ariel J. Birnbaum wrote:
> (considering "undefined" as equivalent to "const undefined", which iirc was 
> the definition of _|_ for function types).
>  
> What am I missing?

undefined /= const undefined

in Haskell, due to seq.

-- 
Dr. Janis Voigtlaender
http://wwwtcs.inf.tu-dresden.de/~voigt/
mailto:voigt at tcs.inf.tu-dresden.de