ashley at semantic.org
Mon Feb 27 20:50:38 EST 2006
John Meacham wrote:
> The proposed solution was to add NaN, +Infinity, and -Infinity to
> rational with the representations 0 :% 0, 1 :% 0, and -1 :% 0
> respectively. Seems straightforward, (and generally useful) but we
> should make sure not to forget it for haskell-prime.
I'm not necessarily against this, but it does fundamentally change the
semantics of Ratio. Has all the behaviour been worked out for this?
More information about the Haskell-prime