While auditing the naked pointers removal, I have found this missing root. Naked pointers are immediate values, and code relying on this assumption by avoiding to register roots can break when converted to a nativeint. This code is not tested, and for time reasons I did not take the trouble to avoid the code duplication. Would you like to pick it up from there?
While auditing the naked pointers removal, I have found this missing root. Naked pointers are immediate values, and code relying on this assumption by avoiding to register roots can break when converted to a
nativeint
. This code is not tested, and for time reasons I did not take the trouble to avoid the code duplication. Would you like to pick it up from there?