Skip to content

Pull requests: scala/scala3

New pull request New
Clear current search query, filters, and sorts
1 Open 74 Closed
1 Open 74 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Support src filter in -WConf (Closes #17635)
#18783 by povder was merged Apr 25, 2024 Loading… 3.5.0
1
@Linyxus
27 🚀 3
Use GADT constraints in maximiseType
#15544 by dwijnand was merged Jul 12, 2022 Loading… 3.2.1
1
@abgruszecki @Linyxus
16 🚀 2
Change GADT constrainer to consider all parents when upcasting
#11447 by Linyxus was closed Feb 21, 2021 • Draft
@Linyxus
17
Add experimental capture checking
#15877 by odersky was merged Aug 29, 2022 Loading…
1
@Linyxus
5
Give GadtConstraint a nicer toText
#16085 by dwijnand was merged Oct 3, 2022 Loading…
@Linyxus
3
Eliminate class hierarchy in GadtConstraint
#16194 by dwijnand was merged Oct 25, 2022 Loading…
@Linyxus
10
Add capability modifier for capability classes
#16717 by Linyxus was closed Jul 14, 2023 • Draft
1
@Linyxus
1
Don't rollback in PatternTypeConstrainer
#16755 by dwijnand was closed Feb 21, 2023 Loading…
1
@abgruszecki @Linyxus
2
Fix issue #17465
#17627 by hamzaremmal was closed Jul 14, 2023 • Draft
@Linyxus
10
Add two tests for local root encapsulation area:experimental:cc Capture checking related
#18836 by Linyxus was closed Nov 28, 2023 Loading…
@Linyxus
3
Hide capture sets when the current unit is not capture checked
#19858 by Linyxus was closed Mar 5, 2024 Loading…
1
@Linyxus
1
Fix patch of #19798
#19824 by nicolasstucki was closed Mar 6, 2024 Loading…
1
@Linyxus
1
Capture check concurrent under the new scheme
#19014 by Linyxus was closed Aug 19, 2025 Loading…
@Linyxus
2
Add experimental capture checking
#15875 by odersky was closed Aug 17, 2022 Loading…
@Linyxus
3
Implement separation checking
#17444 by Linyxus was closed Feb 16, 2025 • Draft
@Linyxus
2
Update CC doc page to new capture tracking syntax
#18387 by odersky was merged Aug 15, 2023 Loading… 3.4.0
@Linyxus
3
Fix spurious subtype check pruning when both sides have unions
#18213 by Linyxus was merged Jul 20, 2023 Loading… 3.4.0
1
@Linyxus
24
Add capture checking to some standard library classes cc-experiment Intended to be merged with cc-experiment branch on origin
#18192 by odersky was merged Jul 22, 2023 Loading… 3.4.0
@Linyxus
10
New capture escape checking based on levels
#18463 by odersky was merged Sep 9, 2023 Loading… 3.4.0
@Linyxus
10
Fix #18246: correctly compute capture sets in TypeComparer.glb
#18254 by Linyxus was merged Jul 23, 2023 Loading… 3.4.0
1
@Linyxus
3
A more flexible scheme for handling the universal capability
#18699 by odersky was merged Oct 23, 2023 Loading… 3.4.0
@Linyxus
20
Special handling of experimental.captureChecking import
#17427 by odersky was merged May 30, 2023 Loading… 3.4.0
@nicolasstucki @Linyxus
6
Change cc syntax
#17377 by odersky was merged May 10, 2023 Loading… 3.3.1
@Linyxus
4
Implement sealed type parameters
#17422 by odersky was merged May 10, 2023 Loading… 3.3.1
@Linyxus
3
More additions to the standard library cc-experiment Intended to be merged with cc-experiment branch on origin
#18799 by odersky was merged Nov 5, 2023 Loading… 3.4.0
@Linyxus
3
ProTip! Adding no:label will show everything without a label.