Module: ppl/ppl Branch: devel Commit: a25c7886a3738efaa98c6c6ba597a7b6d9b670da URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a25c7886a3738...

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Thu Jun 25 12:06:02 2020 +0200

Adapted to modern versions of Ciao Prolog.

---

.../Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 b/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 index 504c20e..0e3756e 100644 --- a/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 +++ b/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 @@ -65,12 +65,12 @@ m4_define(`term', `Term$1')dnl m4_define(`anyterm', `any_term')dnl m4_define(`interm', `in(Term$1)')dnl m4_define(`m4_expanded_procedure_schema', `m4_ifelse(check_fail($3), nofail, - `:- true pred $1`'m4_ifelse(`$2', 0, ,(`'m4_term_sequence($2, `interm')) + `:- trust pred $1`'m4_ifelse(`$2', 0, ,(`'m4_term_sequence($2, `interm')) :: `'m4_term_sequence($2, `anyterm', ` *')) + foreign.

', - `:- true pred $1_2(`'m4_term_sequence($2, `interm')`'m4_ifelse(`$2', 0, `go(Success)', `, go(Success)')) - :: `'m4_term_sequence($2, `anyterm', ` *')`'m4_ifelse(`$2', 0, ` int', ` * int') + `:- trust pred $1_2(`'m4_term_sequence($2, `interm')`'m4_ifelse(`$2', 0, `go(Success)', `, go(Success)')) + :: `'m4_term_sequence($2, `anyterm', ` *')`'m4_ifelse(`$2', 0, ` c_int', ` * c_int') + (returns(Success), foreign($1)).

$1`'m4_ifelse(`$2', 0, ,`(m4_term_sequence($2, `term'))') :-