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
The polyc script has been developed mainly to simplify the linking of an
exported ML function and in particular to try to capture the libraries
that need to be included. I've been having another look at this because
of an issue that was reported a while back. Up till now the linking
step has