ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications
https://ocaml-gospel.github.io/ortac/
MIT License
36 stars 10 forks source link

Fix lower bounds #223

Closed n-osborne closed 4 months ago

jmid commented 4 months ago

A suggestion: For qcheck we've been bitten in the past by trying to support cross-versions as it quickly becomes messy. Scenario: "Will ortac-runtime.0.5.0 require ortac-core.0.3.0 or only ortac-core.0.2.0"? This will largely be wasted effort trying to debug lower bound failures! :grimacing: A qcheck example of this happening in practice: https://github.com/ocaml/opam-repository/pull/24703

For this reason, I suggest using

  "ortac-core" {= version}

etc. so that ortac-runtime.0.2.0 requires precisely ortac-core.0.2.0 (and so on) in the interest of saving you from additional pain later :slightly_smiling_face: