[#386] Show annotations in debugger
Description
Problem: Field, variable and type annotations are not shown in the debugger.
Solution: Change runInstrCollect
so InstrWithVarNotes
and
InstrWithNotes
are considered, by not ignoring them in helpers,
changing its signature and calling runInstrAnnotatedImpl
. Change
SomeStack
so that it uses the same stack element type as Interpret
.
Change DAP.Variables
and Core.Print
so that annotations can be
properly displayed. Change collectInterpretSnapshots
so that the
annotations that are present in parameter and storage of the contracts
are considered.
Related issue(s)
Resolves #386 (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.