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 > >