Backport "Context Bounds for Polymorphic Functions" to 3.6#21972

Merged

WojciechMazur merged 19 commits intorelease-3.6.2from release-3.6.2-backport-21643

Nov 19, 2024

+274-68

Commits on Nov 18, 2024

Implement basic version of desugaring context bounds for poly functions

KacperFKorban
authored and
WojciechMazur
committed
Handle named context bounds in poly function context bound desugaring

KacperFKorban
authored and
WojciechMazur
committed
Correctly-ish desugar poly function context bounds in function types

KacperFKorban
authored and
WojciechMazur
committed
Fix pickling issue

KacperFKorban
authored and
WojciechMazur
committed
Hide context bounds expansion for poly functions under modularity feature

KacperFKorban
authored and
WojciechMazur
committed
Small cleanup

KacperFKorban
authored and
WojciechMazur
committed
Add more test cases

KacperFKorban
authored and
WojciechMazur
committed
Change the implementation of context bound expansion for poly functions to reuse some of the existing context bound expansion

KacperFKorban
authored and
WojciechMazur
committed
Add support for some type aliases, when expanding context bounds for poly functions

KacperFKorban
authored and
WojciechMazur
committed
Make the expandion of context bounds for poly types slightly more elegant

KacperFKorban
authored and
WojciechMazur
committed
Add more aliases tests for context bounds with poly functions

KacperFKorban
authored and
WojciechMazur
committed
Bring back the restriction for requiring value parameters in poly function type definitions

KacperFKorban
authored and
WojciechMazur
committed
Cleanup dead code

KacperFKorban
authored and
WojciechMazur
committed
Reuse addEvidenceParams logic, but no aliases

KacperFKorban
authored and
WojciechMazur
committed
Cleanup context bounds for poly functions implementation, make the implementation consistent with addEvidenceParams

KacperFKorban
authored and
WojciechMazur
committed
More cleanup of poly context bound desugaring

KacperFKorban
authored and
WojciechMazur
committed
Short circuit adding evidence params to poly functions, when there are no context bounds

KacperFKorban
authored and
WojciechMazur
committed
Add a run test for poly context bounds; cleanup typer changes

KacperFKorban
authored and
WojciechMazur
committed
Cleanup context bounds for poly functions implementation after review

KacperFKorban
authored and
WojciechMazur
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Backport "Context Bounds for Polymorphic Functions" to 3.6#21972

Commits on Nov 18, 2024

Implement basic version of desugaring context bounds for poly functions

Handle named context bounds in poly function context bound desugaring

Correctly-ish desugar poly function context bounds in function types

Fix pickling issue

Hide context bounds expansion for poly functions under modularity feature

Small cleanup

Add more test cases

Change the implementation of context bound expansion for poly functions to reuse some of the existing context bound expansion

Add support for some type aliases, when expanding context bounds for poly functions

Make the expandion of context bounds for poly types slightly more elegant

Add more aliases tests for context bounds with poly functions

Bring back the restriction for requiring value parameters in poly function type definitions

Cleanup dead code

Reuse addEvidenceParams logic, but no aliases

Cleanup context bounds for poly functions implementation, make the implementation consistent with addEvidenceParams

More cleanup of poly context bound desugaring

Short circuit adding evidence params to poly functions, when there are no context bounds

Add a run test for poly context bounds; cleanup typer changes

Cleanup context bounds for poly functions implementation after review