[polyml] Retiring CInterface?

[David Matthews]

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