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

Janis Voigtlaender voigt at tcs.inf.tu-dresden.de
Mon May 19 03:31:18 EDT 2008


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


More information about the Haskell-Cafe mailing list