Amount of notes wrappers in deserialization is exceeding
Description
I witness that after recent changes, pack/unpack roundtrip for lambdas does modify such lambda because in output almost every instruction is wrapped into InstrWithNotes
(with empty annotation).
Steps to reproduce
Run in ghci:
import qualified Lorentz.Instr as L
lUnpackValue @(Lambda () ()) $ lPackValue @(Lambda () ()) (L.push @Natural 5 # L.drop)
Expected behaviour
Right (RfNormal (Seq (PUSH (VC (CvNat 5))) DROP))
Actual behaviour
Right (RfNormal (Seq (InstrWithNotes NTc : (PUSH (VC (CvNat 5)))) (InstrWithNotes NTUnit : DROP)))
Environment
- Ubuntu 17
- master (
82c372b7b5d6f3a0bdd0d2a24624830a94c54a5e
)
Edited by Konstantin Ivanov