27 Feb
2006
27 Feb
'06
8:50 p.m.
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? -- Ashley Yakeley