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

> I suppose you then also raise exceptions for anything like
>
> ?- X is (1 << 1100) + 1.0.
> X = 1.0Inf
> Yes (0.00s cpu)
>
> What about explicit conversion?
>
> ?- X is float(1 << 1100).
> X = 1.0Inf
> Yes (0.00s cpu)

Yes in both cases. --Mats
_______________________________________________
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