Bug in gprolog.h?
Roberto Bagnara <[email protected]>
| Newsgroups | gmane.comp.gnu.prolog.general |
|---|---|
| Organization | Department of Mathematics and Computer Science, University of Parma, Italy |
| Message-ID | <[email protected]> |
The header file gprolog.h installed by GNU Prolog 1.4.4
contains the following (unconditional) definitions:
#define PL_MIN_INTEGER -268435456
#define PL_MAX_INTEGER 268435455
These are inconsistent with the real limits:
$ gprolog
GNU Prolog 1.4.4 (64 bits)
Compiled Jul 3 2013, 18:05:18 with gcc
By Daniel Diaz
Copyright (C) 1999-2013 Daniel Diaz
| ?- current_prolog_flag(min_integer, M).
M = -1152921504606846976
yes
| ?- current_prolog_flag(max_integer, M).
M = 1152921504606846975
yes
| ?-
Kind regards,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:[email protected]
BUGSENG srl - http://bugseng.com
mailto:[email protected]