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@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml