[TM-39] Hide `cp` type parameter
Description
Problem: cp
parameter is everywhere in the code. It's caused due to SELF instruction.
Solution: just remove this type parameter. Pass to SELF contract parameter stored in TypeCheckT.
Implemented over jcb/tm29
branch.
Please don't merge until jcb/tm29
is merged. Will be rebased onto master when jcb/tm29
is merged.
Related issue(s)
https://issues.serokell.io/issue/TM-39
✅ Checklist for your Merge Request
Related changes (conditional)
-
Tests
-
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
-
I checked whether I should update the docs and did so if necessary: - README
- Haddock
-
Stylistic guide (mandatory)
-
My commits comply with the following policy. -
My code complies with the style guide.
Edited by Ilya Peresadin