On 05/03/21 13:41, David Matthews wrote:
On 23/02/2021 13:00, Phil Clayton wrote:Thanks for the updates. I have been testing the Poly/ML variants (see below) and that fixes callbacks within callbacks on x86_64 provided compact32bit is disabled. When compact32bit is enabled, I find that any use of a callback seg. faults, not just nested use. The previous examples call_c_test_15 and call_c_test_16 still demonstrate this. (Observed on both Linux and macOS.)Thanks for reporting that. I've pushed a fix and it looks like it works now.The following cause callbacks to seg. fault: --enable-shared=yes --enable-compact32bit=yes --enable-intinf-as-int=no --enable-shared=yes --enable-compact32bit=yes --enable-intinf-as-int=yes
Thanks - I have tested the fix with all variants and have not found any issues on Linux/macOS x86_64.
I note that the binaries using the compiled FFI still have a dependency on libffi. Presumably configure.ac is yet to be updated to make the checks on libffi conditional. (I rebuilt with libffi configuration removed from 'configure' as per the attached diff and there was no dependence on libffi, and the tests, at least on Linux, were still fine.)
I note that the low-level interface provided by Foreign has changed in a way that is not compatible with the previous version [1]. Clearly some break in interface is unavoidable. Given this, could you confirm that the next version will be 5.8.2? (It seems reasonable not to consider the low-level interface part of the stable API.)I wanted to keep the high-level interface as stable as possible. The low-level, though, needed to change. I expect the next version will be 5.8.2.
Good to know, thanks. Regards, Phil
configure.diff.gz
Description: application/gzip
_______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml