Proto/Michelson: refactor the representation of types to remember the size
Context
This MR refactors the representation of Michelson types to add metadata.
Currently the only metadata are the optional type annotation and the size of the type. The various type attributes are also good candidates. This is also probably a requirement for hash consing Michelson types.
The stored types are used to ensure the global size bound on types and the previous complex system (the "number_of_growing_types" mechanism) is removed.
Manually testing the MR
TODO
Checklist
-
Document the interface of any function added or modified (see the coding guidelines) -
Document any change to the user interface, including configuration parameters (see node configuration) -
Provide automatic testing (see the testing guide). -
For new features and bug fixes, add an item in the appropriate changelog ( docs/protocols/alpha.rst
for the protocol and the environment, theDevelopment Version
section ofCHANGES.md
for everything else). -
Select suitable reviewers using the Reviewers
field below. -
Select as Assignee
the next person who should take action on that MR
Edited by Mehdi Bouaziz