October 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 20 Oct '08

20 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-20 22:58:56 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Revised the timeout test to ensure it is more consistent in its behavior for all configurations and Prolog systems. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

w3ppl/bin update_web_site
by Roberto Bagnara 20 Oct '08

20 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-10-20 20:26:31 Modified files: bin : update_web_site Log message: Configure with the --with-java option. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/bin/update_web_site.diff?cv…

1 0

w3ppl/bin update_web_site
by Roberto Bagnara 20 Oct '08

20 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-10-20 20:21:49 Modified files: bin : update_web_site Log message: Adapted to the new documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/bin/update_web_site.diff?cv…

1 0

ppl/interfaces/Prolog Prolog_interface.dox ppl ...
by Patricia Hill 20 Oct '08

20 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-20 19:05:39 Modified files: interfaces/Prolog: Prolog_interface.dox ppl_interface_generator_prolog_dox_code.m4 Log message: Small correction and improvement to formatting. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am
by Patricia Hill 20 Oct '08

20 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-20 17:33:19 Modified files: interfaces/Prolog/Ciao: Makefile.am Log message: Disabled the pl_check, clpq and clpq2 tests as they can throw overflow exception errors for certain configurations - and Ciao does not recognise these as overflow errors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 20 Oct '08

20 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-20 17:00:00 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_cc_code.m4 Log message: Completed changes in last commit. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 20 Oct '08

20 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-20 16:51:46 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_cc_code.m4 Log message: Revised code for the ..._if_exact predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/Prolog ppl_prolog_common.cc
by Roberto Bagnara 20 Oct '08

20 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-20 16:36:33 Modified files: interfaces/Prolog: ppl_prolog_common.cc Log message: Added a missing default switch case. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 20 Oct '08

20 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-20 14:14:18 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Corrected and improved the testing of the exceptions thrown by the C++ interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

Problem with ciao_raise_exception()
by Roberto Bagnara 20 Oct '08

20 Oct '08

Hi there, according to the documentation (emphasis mine): @subsection{Raising Exceptions} The following functions offers a way of throwing @concept{exceptions} from C that can be caught in Prolog with @tt{catch/3}. THE TERM THAT REACHES PROLOG IS EXACTLY THE SAME WHICH WAS THROWN BY C. The execution flow is broken at the point where @tt{ciao_raise_exception()} is executed, and it returns to Prolog. However, it seems that ciao_raise_exception() throws a different term. We obtain: ?- catch(ppl_Polyhedron_add_constraints(p, []), Exception, true). Exception = error(system_error,'ppl_ciao:ppl_Polyhedron_add_constraints'/2-1) ? yes ?- whereas we should obtain: ?- catch(ppl_Polyhedron_add_constraints(p, []), Exception, true). Exception = ppl_invalid_argument(found(p), expected(handle), where('ppl_Polyhedron_add_constraints/2')). ?- We are sure that the C code throws the term ppl_invalid_argument(found(p), expected(handle), where('ppl_Polyhedron_add_constraints/2')) moreover the string "system_error" never occurs in the PPL sources. From this we conclude that the error(system_error,'ppl_ciao:ppl_Polyhedron_add_constraints'/2-1) term is synthesized by Ciao itself, and this is causing problems. Are we missing something? Thanks, 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