April 2004 - PPL-devel - BUGSENG Mailman

Bignums
by Roberto Bagnara 14 May '04

14 May '04

Hi there, I believe the following behavior of the CVS version of YAP witnesses a bug (or, quite possible, a misunderstanding on my part): $ yap [ Restoring file /usr/local/lib/Yap/startup ] [ YAP version Yap-4.3.23 ] ?- current_prolog_flag(bounded,X). X = false ? ?- X is 333333333333333, integer(X). no ?- X is 33333333, integer(X). X = 33333333 ? ?- X is 333333333333333, float(X). no ?- X is 333333333333333, number_chars(X,L). X = 333333333333333, L = [51,51,51,51,51,51,51,51,51,51,51,51,51,51,51] ? In words, the Prolog engine first declares it is employing unbounded integers, then it silently converts an integer numeral to... to what? Is this a bug? Am I missing something? All the best Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 5

ppl/interfaces/Prolog exceptions.hh ppl_prolog ...
by Roberto Bagnara 30 Apr '04

30 Apr '04

1 0

Communicating multiple-precision integers to foreign code and back
by Roberto Bagnara 30 Apr '04

30 Apr '04

Hi there, is there a method for foreign code to exchange multiple-precision integers with YAP? I am using Yap-4.5.1. Cheers, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/interfaces/C ppl_c.cc
by Roberto Bagnara 30 Apr '04

30 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-30 19:37:12 Modified files: interfaces/C : ppl_c.cc Log message: Handle std::overflow_error. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h.in lpenum/lp ...
by Roberto Bagnara 30 Apr '04

30 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-30 17:39:26 Modified files: interfaces/C : ppl_c.cc ppl_c.h.in interfaces/C/lpenum: lpenum.c Log message: Missing try/catch blocks added. Interface changed for ppl_version_major(), ppl_version_minor(), ppl_version_revision(), ppl_version_beta(), ppl_version() and ppl_banner(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl/interfaces/C ppl_c.cc
by Roberto Bagnara 30 Apr '04

30 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-30 16:28:35 Modified files: interfaces/C : ppl_c.cc Log message: CATCH_ALL fixed: was translating std::exception to PPL_ERROR_INTERNAL_ERROR instead of PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

Inclusion of gprolog.h causes severe namespace pollution
by Roberto Bagnara 29 Apr '04

29 Apr '04

Hi there, gprolog.h defines macros such as #define B (((WamWordP *) reg_bank)[NB_OF_X_REGS+0]) #define H (((WamWordP *) reg_bank)[NB_OF_X_REGS+1]) #define CP (((WamCont *) reg_bank)[NB_OF_X_REGS+3]) #define E (((WamWordP *) reg_bank)[NB_OF_X_REGS+4]) #define CS (((WamWordP *) reg_bank)[NB_OF_X_REGS+5]) #define S (((WamWordP *) reg_bank)[NB_OF_X_REGS+6]) #define STAMP (((WamWord *) reg_bank)[NB_OF_X_REGS+7]) which then remain in the namespace. The probability of conclict with user's code is quite high, and I have been bitten a couple of times already. Can something be done about that? All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 1

ppl ./configure.ac interfaces/OCaml/.cvsignore ...
by Roberto Bagnara 27 Apr '04

27 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-27 14:29:50 Modified files: . : configure.ac interfaces/OCaml: .cvsignore Makefile.am Removed files: interfaces/OCaml: gmp.h ppl_ocaml_c.swg Log message: Our OCaml interface will not be based on SWIG. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/.cvsignore.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/gmp.h.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_c.…

1 0

ppl/interfaces/Prolog/YAP yap_pl_check.pl
by Roberto Bagnara 26 Apr '04

26 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-26 23:06:27 Modified files: interfaces/Prolog/YAP: yap_pl_check.pl Log message: Previous change reverted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_pl_…

1 0

ppl/interfaces/Prolog/YAP yap_pl_check.pl
by Patricia Hill 26 Apr '04

26 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-04-26 22:42:51 Modified files: interfaces/Prolog/YAP: yap_pl_check.pl Log message: Paths to pl_check.pl and yap_pl_check.pl need to allow for working in a separate build directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_pl_…

2 1