[PPL-devel] Re: Everything is OK now

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