Skip to content
This repository has been archived by the owner on Aug 24, 2021. It is now read-only.

Use code generation for generating overloads of forAll and equivalents #78

Closed
jcornaz opened this issue Sep 23, 2019 · 0 comments
Closed

Use code generation for generating overloads of forAll and equivalents #78

jcornaz opened this issue Sep 23, 2019 · 0 comments
Labels
wontfix This will not be worked on

Comments

@jcornaz
Copy link
Owner

jcornaz commented Sep 23, 2019

It is tedious to test and maintain all overloads of forAll. And the same kind of problem will arise again with #77 (combine more than 2 operators) and #8 (spek integration).

It would be nice to leverage code generation (maybe with Kotlin poet?) to easily and safely support more number arguments for these functions.
@jcornaz jcornaz changed the title Consider generating methods code generation Consider using code generation for generating overloads of forAll and equivalents Sep 23, 2019
@jcornaz jcornaz added chore Any task that is beneficial only for the maintainer of the projet and removed improvement labels Oct 24, 2019
@jcornaz jcornaz changed the title Consider using code generation for generating overloads of forAll and equivalents Use code generation for generating overloads of forAll and equivalents Feb 5, 2020
@jcornaz jcornaz added improvement and removed chore Any task that is beneficial only for the maintainer of the projet labels Feb 5, 2020
@jcornaz jcornaz added design help wanted Extra attention is needed labels Oct 8, 2020
@jcornaz jcornaz removed the design label Jan 9, 2021
@jcornaz jcornaz added wontfix This will not be worked on and removed help wanted Extra attention is needed labels Feb 8, 2021
@jcornaz jcornaz closed this as completed Feb 8, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
wontfix This will not be worked on
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jcornaz