Skip to content

[TM-190] Use RecFromTuple in entrypoint-wise upgradeable contracts

Kirill Kuvshinov requested to merge kkirka/tm190-rec-tuple into master

Description

We used Rec as a parameter to mkEpwContract. It is not convenient since:

  1. we need to import vinyl
  2. we can't set 0 precedence for (/==>) operator.

This MR adds mkEpwContractT that accepts a tuple of clauses instead of Rec.

Related issue(s)

https://issues.serokell.io/issue/TM-190

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

    • I checked whether I should update the docs and did so if necessary:

Stylistic guide (mandatory)

Merge request reports