[PPL-devel] Re: Everything is OK now

[Vitor Santos Costa]

Dear Roberto,

> with your change I have succeeded, after fixing a couple of bugs
> on my part, at producing a working YAP interface for the Parma
> Polyhedra Library.  This will be part of the next PPL release.
> BTW, finding these bugs has been exceptionally difficult due to the
> fact that Term, Functor and Atom are all typedef'd to be CELL:
> this means you can do all sorts of mistakes without any help
> from the C compiler.

That is quite a reasonable complaint, they actually have different
types in Yap itself. I fixed it.

Cheers,

Vitor