2008/2/12 Uwe Hollerbach <[EMAIL PROTECTED]>: > Well... I dunno. Looking at the source to GHC.Real, I see > > infinity, notANumber :: Rational > infinity = 1 :% 0 > notANumber = 0 :% 0 > > This is actually the reason I imported GHC.Real, because just plain % > normalizes the rational number it creates, and that barfs very quickly when > the denominator is 0. But the values themselves look perfectly reasonable... > no?
Ummm... I'm going to have to go with no. In particular we can't have signed infinity represented like this and maintain reasonable numeric laws: 1/0 = 1/(-0) = (-1)/0 Rationals are defined not to have a zero denomiator, so I'll bet in more than one place in Data.Ratio that assumption is made. Luke _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
