Fix printing of symbols of fixity

ocaml-gospel / gospel

A tool-agnostic formal specification language for OCaml.

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

MIT License

123 stars 16 forks source link

Fix printing of symbols of fixity #407

Open n-osborne opened 3 months ago

n-osborne commented 3 months ago

This PR proposes a fix of the way symbols with fixity are printed in Tterm_printer.print_term.

This is a first step towards a proprer pretty printer.

This also modifies how the fixity is encoded, proposing to store the information in a field of the identifiers with a sum type rather than in the name itself.

n-osborne commented 1 month ago

Ready for review.