Hello, I'm currently going through QC in the QuickChick Software Foundations book (https://softwarefoundations.cis.upenn.edu/qc-current/QC.html), but I'm having issues when trying to run "Sample" (for example "Sample (returnGen 42).").
I'm getting the error:
"Could not compile test program: /var/folders/s2/tt05wb8n45zfytbqf5mqkvhh0000gn/T/QuickChick/102654/QuickChick0ce2bc.ml"
Anyone who knows what may cause this error?
Running on MACOS with Coq Platform.
QuickChick version 1.5.1
Coq version 8.13.2
@Michael Soegtrop could this be due to the Platform not including an OCaml compiler?
@Josef Gharib if you installed the Coq Platform via an installer, something you could try is manually installing it via the opam scripts, e.g., https://github.com/coq/platform/blob/main/doc/README_macOS.md#installation-by-compiling-from-sources-using-opam
Then you should have a full-fledged OCaml system, which might solve this issue.
It should work since we have smoke tests for QuickChick and these are tested on installed platform. But possibly the smoke test is not sufficient - I will look into this specific case.
@Josef Gharib : please create an issue at https://github.com/coq/platform/issues.
This topic was moved here from #Miscellaneous > QuickChick installation issues by Karl Palmskog
May be related to either:
based on the error message, although I don't see an immediate solution there.
What's the error in the
build.log file, where the
QuickChick*****.mlfile is located?
Last updated: Jan 30 2023 at 11:03 UTC