I can't think of a need for CInterface. It is probably only worth
retaining while the FFI documentation is for CInterface. On that note,
it may be worth directing readers to using Foreign instead of
CInterface: the link to the foreign function interface on the main
documentation page
On 12/12/17 14:16, David Matthews wrote:
> Now that the Foreign structure has been around for a while I was
> wondering whether it was time to remove CInterface and the related
> structures. Is there any specific need to keep it?
At least not in the Isabelle sources.
I've updated to the newer
Now that the Foreign structure has been around for a while I was
wondering whether it was time to remove CInterface and the related
structures. Is there any specific need to keep it?
David
___
polyml mailing list
polyml@inf.ed.ac.uk