[prolog-standard] Re: Fwd: Preliminary draft for the revised ISO Prolog core standard

From: Joachim Schimpf <js10_at_crosscoreop.com>
Date: Thu, 16 Nov 2006 19:39:44 +0000

>> On Thursday 16 November 2006 09:30, Bart Demoen wrote:
>>>
>>> One consequence of this floating-point contagion is that in a system
>>> with
>>>
>>> bigints - like SICStus - max/2 can now also throw an overflow exception:
>>> | ?- X is 234<<23423, Y is max(X,0.1).
>>>
>>> ! Evaluation error in argument 2 of is/2
>>> ! float_overflow at 2482014388617793184935802414678 [some more digits
>>> snipped away by me]

But that's simply a bug, isn't it? ECLiPSe says:

?- X is 234 << 23423, Y is max(X, 0.1).
X = 2482014388617793184935802414678453594506527110211601991200031311191...
Y = 1.0Inf
Yes (0.00s cpu)

- Joachim
_______________________________________________
prolog-standard mailing list
prolog-standard_at_neve.di.ubi.pt
http://neve.di.ubi.pt/mailman/listinfo/prolog-standard
Received on Mon Jul 14 2008 - 13:01:02 EST

This archive was generated by hypermail 2.2.0 : Wed Sep 08 2010 - 23:28:17 EST