On Sat, 2009-01-24 at 03:08 -0700, Luke Palmer wrote:
> On Sat, Jan 24, 2009 at 2:40 AM, Ryan Ingram <ryani.spam@gmail.com>
> wrote:
> But _|_ is not ().
>
> Correction: _|_ is not always ().

For example: in Haskell.

Prelude> () `seq` True
True
Prelude> (undefined `asTypeOf` ()) `seq` True
*** Exception: Prelude.undefined

Gee, I'm sure glad that I wrote that detailed analysis of what I meant. It's nice to see people responding to arguments rather than opinions for once.

Luke