On 16/11/2011 04:15, Ian Zimmerman wrote:
Phil> David, My situation is slightly unusual so perhaps it's Phil> useful/interesting to explain some background. I'm working on Phil> support for GLib/GTK in SML which involves a significant number of Phil> calls to C functions.
Last I knew, this was impossible in Poly/ML due to no callbacks from C. Has something crucial changed?
The CInterface structure has had callbacks for a long time. They're only implemented on X86 but that covers the vast majority of users. There's an example in mlsource/extra/CInterface/Examples/ForeignTest.sml.
David