Changes to compile the environment with coq-of-ocaml

Guillaume Claretrequested to merge
guillaume-claret@changes-for-coq-of-ocaml into proto-proposal

This re-creates the previous MR https://gitlab.com/cryptiumlabs/tezos/-/merge_requests/106 merged by mistake

With this MR, we allow the compilation of the protocol environment in Coq using coq-of-ocaml. Compared to the previous MR, we do minimal changes so that we only touch the environment in this MR.

The changes are:

  • name the anonymous signatures (to translate them to records with a name);
  • name the polymorphic variant key_or_dir;
  • name the polymorphic variant tag_size.
Edited by Guillaume Claret

Merge request reports