There is very basic documentation for the FFI on the website at https://www.polyml.org/documentation/Reference/Foreign.html . There is some sample code in the source or at https://github.com/polyml/polyml/tree/master/samplecode/Foreign which may be more helpful.
David
On 07/06/2018 13:31, Ramana Kumar wrote:
Dear Poly/ML list,
I'm exploring how to make remote procedure calls (RPC) from Standard ML. My understanding is that this is not part of the language or basis library in any form, but that there is FFI support in Poly/ML for it. Is that correct? Is there any documentation for the Poly/ML FFI or examples of its use that someone could point me to?
Thanks much, Ramana
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml