Fix annotations discarded in some instructions
Description
Currently, some instructions such as IF_NONE
are discarding annotations. According to tezos-client
, they should be kept.
Steps to reproduce
- Run
tezos-client typecheck script cps_fact.tz -v
ontezos_examples/attic/
directory. - Pay attention to the
IF_NONE
line. It should contain/* [ @parameter option nat : @storage nat ] */ ;
before the instruction and{ /* [ @parameter.some nat : @storage nat ] */
after this. - Open the debugger.
- Set the parameter to
42
. - Set the storage to
42
. - Start the debugger.
- Press "Step Next" twelve times. The debugger is about to execute
IF_NONE
with@parameter Some 41
. - Press "Step Next" one time. The annotation disappears.
Expected behaviour
The @parameter
annotation is kept.
Actual behaviour
The @parameter
annotation is missing. Notice the same thing happens with @storage
on IFCMPEQ
.