search

ocaml-gospel / gospel

A tool-agnostic formal specification language for OCaml.
https://ocaml-gospel.github.io/gospel
MIT License
128 stars 16 forks source link

Display a warning when encountering an `include` #334

Closed shym closed 1 year ago

shym commented 1 year ago

This is based on #326 to have access to the pp_gen pretty-printer.

That would be a (partial) way to address #302.

shym commented 1 year ago

I added the CHANGES entry and CI is happy, so I merge it.