missing usage with dune about qcheck HOT 5 OPEN

I guess that setting (implicit_transitive_deps false) in the dune-project file might be what triggers the bug and make it require qcheck-core ?

from qcheck.

from qcheck.

First off: yes, the documentation could certainly be improved (PRs welcome!)

I cannot recreate the problem you experienced. Below follows my attempt at a minimal repro which works fine.
As @c-cube mentions, this is using the qcheck compatibility package, so it needs to be adapted to use qcheck-core instead.

dune-project:

(lang dune 3.0)

dune:

(test
 (name test)
 (modules test)
 (libraries qcheck)
)

test.ml:

open QCheck

let t = Test.make ~name:"float test" float (fun f -> floor f <= f)

let _ = QCheck_runner.run_tests ~verbose:true [t]

from qcheck.

Indeed! I can confirm that after adding that line to dune-project I get the following error message:

$ dune build test.exe
File "test.ml", line 1, characters 5-11:
1 | open QCheck
         ^^^^^^
Error: Unbound module QCheck

This is confusing to a new-comer and documentation could help here, e.g., by pointing them to use qcheck-core instead.

from qcheck.

yes we use implicit_transitive_deps false (which really should be default for all projects :D)

from qcheck.