[PPL-devel] Re: Everything is OK now

[Vitor Santos Costa]

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