[PPL-devel] [GIT] ppl/ppl(devel): Adapted to modern versions of Ciao Prolog.

[Roberto Bagnara]

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

Author: Roberto Bagnara <roberto.bagnara at 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'))') :-