[#7] Rename `PairStruct` to `UnpairStruct` and use different `PairStruct` for PAPAIR
Description
Problem: PAPAIR
and UNPAIR
use the same structure (called PairStruct
),
but current structure is correct only for UNPAIR
, because UNPAIR
can
produce multiple items on stack and hence can have multiple variable
annotations, while PAPAIR
can't.
So VarAnn
s inside PairStruct
inside PAPAIR
are always ignored.
Solution: Rename current PairStruct
to UnpairStruct
and use different
PairStruct
which exactly captures set of all possible PAPAIR
s.
Related issue(s)
Resolves #7 (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 Moremi Vannak