[PPL-devel] Re: [Xsb-development] x still a variable after a successful call to c2p_list(x) (2nd attempt)
Luis Fernando Pias de Castro
luis at cs.sunysb.edu
Wed Aug 7 18:19:49 CEST 2002
First of all, I'd like to say that we really appreciate your bug
I've just commited to CVS the changes to is_*() functions so that they
dereference their arguments. It took a little while since these
functions were being used inside the emulator, instead of the
Roberto Bagnara <bagnara at cs.unipr.it> writes:
> Bart Demoen wrote:
> > should be easy to fix: seems like is_var does not deref
> I have checked: none of the is_*() functions seems to dereference.
> However, other interface functions do dereference.
> Notice also that, while cinterf.h contains the declaration of
> p2p_deref() along with the rather obscure comment
> ** p2p_deref: prolog_term -> prolog_term !! uncommon
> p2p_deref() is never mentioned in the XSB manuals.
> So the questions are: how is one supposed to use the foreign
> language interface? Calling p2p_deref() before any invocation
> of is_*()? Are there other interface functions that require
> the client code to call p2p_deref() for proper operation?
> All the best
> Prof. Roberto Bagnara
> Computer Science Group
> Department of Mathematics, University of Parma, Italy
> mailto:bagnara at cs.unipr.it
> This sf.net email is sponsored by:ThinkGeek
> Welcome to geek heaven.
> Xsb-development mailing list
> Xsb-development at lists.sourceforge.net
More information about the PPL-devel