Reduce Michelson technical debt crew
This milestone regroups issues and MRs related to the Michelson runtime and which are not about adding new features to the Michelson language but about easing the maintenance of this part of the code base so that in the future new features can be added faster and with more confidence.
The tasks described in the issues are mostly independent of each others except for work related to annotation propagation. In that case we have the following dependencies:
-
some preliminary work should be done first: annotations (!3745 (merged), !3746 (merged)) and entrypoints (!3755 (merged))DONE, -
then annotation propagation should be removed (#2025 (closed),DONE,!4139 (merged) !4140 (merged), !4141 (merged), !4175 (merged), !4363 (merged), !4311 (merged), !4259 (merged), !4297 (merged), !4298 (merged)) -
then some bugs are fixed for free (#918 (closed), #1179 (closed))DONE, -
work on fixing some other bugs can start (#851, #977) POSTPONED and tracked in %Michelson technical debt , -
and finally, work on hash-consing (#2016) can also start POSTPONED and tracked in %Michelson technical debt.
Other long-running projects in this crew:
-
Patch legacy contracts: (#2143 (closed), #2024, !3730 (merged)) UNDER REVIEW, tracked in %Michelson technical debt, -
Make the Michelson type GADT injective to remove someDONE,assert false
(#1962 (closed), !3863 (merged)) -
Keep type information in internal operations (#2035 (closed), #2350 (closed), #2351 (closed), !4291 (closed)) UNDER REVIEW , tracked in %Michelson technical debt.
Each issue in this milestone should have a state (used to build this board) and a priority label (note that "type::bug" is considered a priority label). The issues labeled "priority::low" will probably not be treated during the lifetime of this milestone unless they are upprioritized.
Followup milestone containing the issues that won't be treated in the crew for lack of time: %Michelson technical debt.