Disable warnings in generated code

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

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

MIT License

37 stars 10 forks source link

Closed n-osborne closed 12 months ago

n-osborne commented 12 months ago

Use a [@@@ocaml.warning] attribute in order to lighten the dune files expected from the user.

Close #138

n-osborne commented 12 months ago

Let's remove the noise and just disable 26 and 27 then :-)