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
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 Foreign interface already 13 months ago: the following change may serve as example how to do it: http://isabelle.in.tum.de/repos/isabelle/rev/4fb8560df827
Makarius
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 http://www.polyml.org/Doc.html is all about CInterface.
Phil
On 12/12/17 13: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?
David
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
I've removed CInterface from Git master and updated the documentation.
David
On 17/12/2017 22:22, Phil Clayton wrote:
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 http://www.polyml.org/Doc.html is all about CInterface.
Phil
On 12/12/17 13: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?
David
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
-
David.Matthews＠prolingua.co.uk -
makarius＠sketis.net -
phil.clayton＠veonix.com