Skip to content

[TM-299] Increase available tuple instances of `RecFromTuple`

Sandeep.C.R requested to merge sras/bigger-recfromtuple into master

Description

Problem: Right now the RecFromTuple instances for tuples are auto generated. But it only generates instances for tuples that have size up to 20. This makes hard to have caseT clauses with more than 20 branches. For the time being, have the auto generation to generate instances for tuples of size up to 25.

Solution: Change tuple generation code to create instances for tuples of size upto 25.

Related issue(s)

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

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