[morley-debugger#2] Fix cast not removing annotations
Description
Problem: CAST
currently doesn't remove annotations, creating a stack
element that still has them.
Solution: Discard notes in interpreter, recreating the value without
notes. Note that variable annotations are still preserved, and running
tezos-client typecheck script
indeed preserves them, which indicates
correct behavior.
Related issue(s)
Resolves morley-debugger#2 (closed)
✅ 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.
-
-
Documentation
Stylistic guide (mandatory)
-
My commits comply with the following policy. -
My code complies with the style guide.
Edited by Heitor Toledo Lassarote de Paula