Happy Happy Joy Joy (was: On to Hydro)

[Tyler Close]

I was just messing around with a new version of Hydro that supports
the "irreflexive partial ordering" property the Markm specified. The
following E session outtake seemed interesting enough to post:

? define m := RedBlackTree new(LesserDouble INSTANCE) asSet
# value: [  ]

? define NaN := 0.0 / 0.0
# value: NaN

? m := m with(NaN)
# value: [ NaN ]

? m contains(NaN)
# value: false

Why do you ask?

? NaN <=> NaN
# value: false

Makes perfect sense, but it sure looks weird.

Tyler


_________________________________________________________
Do You Yahoo!?
Get your free @yahoo.com address at http://mail.yahoo.com