[PPL-devel] Re: Everything is OK now

Hi 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.

Great.

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.

Yes, actually it is possible to have them being different types.

Thanks again for you help.

Thanks for your work, great news!

Cheers,

Vitor