ocaml-gospel / ortac

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

update to latest gospel #194

Closed n-osborne closed 9 months ago

n-osborne commented 9 months ago

Gospel PR #374 modified how type invariants are stored in the typed ast. This PR pin the new version (pin to be removed when a new version of Gospel is released) and update Ortac/Wrapper code accordingly.

n-osborne commented 9 months ago

Thanks! Indeed, I've extracted these two commits from the branch where I make Ortac/QCheckSTM looking at type invariants but it makes more sense to pin the new version just for the package where changes occurs in this PR.

n-osborne commented 9 months ago

Squash merge in order to avoid extra non-compiling commits on main.