Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Investigate if making fixKind return a list of types is feasible and worth it #5980

Closed
Tracked by #5982
zliu41 opened this issue May 15, 2024 · 1 comment
Closed
Tracked by #5982

Investigate if making fixKind return a list of types is feasible and worth it #5980

zliu41 opened this issue May 15, 2024 · 1 comment
Labels
Generators Internal Low priority Doesn't require immediate attention status: triaged

Comments

@zliu41
Copy link
Member

zliu41 commented May 15, 2024

Currently fixKind returns only one type. Meaning the shrinker always chooses, say, a single particular type variable when fixing the kind of another type variable. It would be nice if it could look at all suitable type variables. This ticket is for investigating if it’s hard to arrange that and if its' beneficial to do so.

Extricated from https://input-output.atlassian.net/browse/PLT-874
@github-actions github-actions bot added the status: needs triage GH issues that requires triage label May 15, 2024
@zliu41 zliu41 removed the status: needs triage GH issues that requires triage label May 15, 2024
@zliu41 zliu41 mentioned this issue May 15, 2024
Closed
6 tasks
@effectfully
Copy link
Contributor

Closing in favor of #6531.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Generators Internal Low priority Doesn't require immediate attention status: triaged
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@zliu41 @effectfully