Xia Li-yao
Xia Li-yao
What's a portable way of executing an executable in OCaml? We're currently using `Unix.open_process_full "QuickChickblabla.native"` but the process fails on Windows. Source: https://github.com/QuickChick/QuickChick/blob/ad684040b25890f9b9802d33fd0265e8c54c29b3/plugin/quickChick.mlg.cppo#L227 Error message: ``` The system cannot execute...
The issue seems to be that `QuickChick***.native` is a symbolic link. Executing the executable directly seems to work.
I see, I'm probably running into an emulated symlink. Then I'll try to run the executable directly.
With #270 QuickChick runs successfully in CoqIDE.
- I installed the Coq Platform using the Windows installer. - I open cygwin - I install QuickChick from source - I start `coqide` in cygwin - `From QuickChick Require...
I used the binary Windows installer with 8.14~2022.01.
No reason other than I didn't know what else to pass/didn't think it would matter. I guess we can call `Unix.environment ()`.
That seems to be a bug. The `maxShrinkNo` parameter is not used anywhere!
It's a bit unfortunate that when the types are the same it degenerates to the identity traversal. I think that if `types` **at least went one level deep**, then the...
Thanks for the reply. I totally understand that it might be too early to commit to such syntax. I'm not going to push it. Nonetheless let me mention that this...