users-prolog
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Bug in gprolog.h?

From: Roberto Bagnara
Subject: Bug in gprolog.h?
Date: Wed, 03 Jul 2013 18:09:39 +0200
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.12) Gecko/20050929 Thunderbird/1.0.7 Fedora/1.0.7-1.1.fc4 Mnenhy/0.7.3.0 
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:address@hidden
                              BUGSENG srl - http://bugseng.com
                              mailto:address@hidden
reply via email to
[Prev in Thread] Current Thread [Next in Thread]