Re: Interpreter accepts integers exceeding max_integer

Daniel Diaz <[email protected]> Tue, 28 Oct 2008 18:42:48 +0100
Newsgroups gmane.comp.gnu.prolog.bugs
Message-ID <[email protected]>
An exception (representation_error) should be raised. I'll check it.


Dave Sworin a écrit :
> When a predicate takes an integer argument, it is not useful to check the range of
> the argument using min_integer and max_integer because the interpreter passes 
> the numbers to the predicate already wrapped.  For example:
>
> my_pred(222222222222). will be received as -1, which is within the range of min_integer
> and max_integer. (I tested this with Fedora Core 4 which has a max_integer of about
> 256 million.)
>
> Should the interpreter reject this input as a syntax error?  Or convert it to a float or something?
>
> Dave
>
>
>
>       
>
>
> _______________________________________________
> Bug-prolog mailing list
> [email protected]
> http://lists.gnu.org/mailman/listinfo/bug-prolog
>
>