Draft: Carry annotations for typed LEFT and RIGHT
The special filed annotations are not presented for
RIGHT instructions. However we support them for
Under the assumption that carrying annotations for
PAIR should be similar to carrying them for
RIGHT, the changes similar to "
PAIR changes" were made. The main idea is that we add
pattern LEFT to
Michelson.Typed.Instr and change
LEFT constructor to
AnnLEFT that has two additional fields -
FieldAnn. It looks like
LEFT :type %@ in Michelson (
%@ takes the variable name from the stack to make it the left field name). After that all related usages of
LEFT are being rewritten.
✅ Checklist for your Merge Request
Related changes (conditional)
Tests (see short guidelines)
- If I added new functionality, I added tests covering it.
- If I fixed a bug, I added a regression test to prevent the bug from silently reappearing again.