On 19/06/2021 15:17, Ramana Kumar wrote:
I think the C code replacing the ML code for Unix.execute does not quite do what the ML code used to. Specifically the execve call here https://github.com/polyml/polyml/blob/master/libpolyml/unix_specific.cpp#L2044 does not pass the cmd as the first argument, whereas the ML version did. This is a user-visible change in the API that was probably unintended.
Wasn't this fixed in b3855a5 ? That fix is included in the fixes-5.8.2 branch.
David _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml