Josef Gharib (Dec 09 2021 at 09:31): Josef Gharib (Dec 09 2021 at 09:31):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
Karl Palmskog (Dec 09 2021 at 09:33):@Michael Soegtrop could this be due to the Platform not including an OCaml compiler?
Karl Palmskog (Dec 09 2021 at 09:35):@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.
Michael Soegtrop (Dec 09 2021 at 09:39):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.
Notification Bot (Dec 09 2021 at 09:41):This topic was moved here from #Miscellaneous > QuickChick installation issues by Karl Palmskog
Bas Spitters (Dec 09 2021 at 11:44):May be related to either:
https://github.com/QuickChick/QuickChick/issues/203
https://github.com/coq/coq/issues/9365
based on the error message, although I don't see an immediate solution there.
Li-yao (Dec 09 2021 at 13:23):What's the error in the build.log file, where the QuickChick*****.mlfile is located?
Last updated: Jun 03 2023 at 04:30 UTC