Bring Ortac up-to-date with the current development version of Gospel

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

https://ocaml-gospel.github.io/ortac/

MIT License

38 stars 10 forks source link

Bring Ortac up-to-date with the current development version of Gospel #136

Closed shym closed 1 year ago

shym commented 1 year ago

This PR:

updates the pinned gospel version, to bring its latest compatibility-breaking changes,
bring support for patterns as arguments of anonymous functions, following ocaml-gospel/gospel#309.

As soon as gospel 0.2 is released, the pin should be dropped and converted into a regular version dependency, but this will help transition smoothly until then.

n-osborne commented 1 year ago

Maybe the pinned version should include #335 as it catches some errors at type checking before ortac can fail on them.