Skip to content

Pull requests: scala/scala3

New pull request New
Clear current search query, filters, and sorts
1 Open 76 Closed
1 Open 76 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

Update CC doc page to new capture tracking syntax
#18387 by odersky was merged Aug 15, 2023 Loading… 3.4.0
@Linyxus
3
Fix #18246: correctly compute capture sets in TypeComparer.glb
#18254 by Linyxus was merged Jul 23, 2023 Loading… 3.4.0
1
@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
Fix issue #17465
#17627 by hamzaremmal was closed Jul 14, 2023 • Draft
@Linyxus
10
Implement separation checking
#17444 by Linyxus was closed Feb 16, 2025 • Draft
@Linyxus
2
Special handling of experimental.captureChecking import
#17427 by odersky was merged May 30, 2023 Loading… 3.4.0
@nicolasstucki @Linyxus
6
Implement sealed type parameters
#17422 by odersky was merged May 10, 2023 Loading… 3.3.1
@Linyxus
3
Change cc syntax
#17377 by odersky was merged May 10, 2023 Loading… 3.3.1
@Linyxus
4
Match capability class as CapturingType
#16851 by Linyxus was closed May 20, 2025 • Draft
@Linyxus
1
Don't rollback in PatternTypeConstrainer
#16755 by dwijnand was closed Feb 21, 2023 Loading…
1
@abgruszecki @Linyxus
2
Add capability modifier for capability classes
#16717 by Linyxus was closed Jul 14, 2023 • Draft
1
@Linyxus
1
Split out immutable GadtConstraint
#16602 by dwijnand was merged Jan 26, 2023 Loading… 3.3.0
@Linyxus
6
Add capture checking the compiler as a test
#16292 by odersky was merged Nov 10, 2022 Loading… 3.3.0
@Linyxus
Sharpen range approximation for applied types with capture set ranges
#16261 by odersky was merged Oct 31, 2022 Loading… 3.3.0
1
@Linyxus
4
Eliminate class hierarchy in GadtConstraint
#16194 by dwijnand was merged Oct 25, 2022 Loading…
@Linyxus
10
Several fixes to box inference
#16141 by Linyxus was merged Oct 15, 2022 Loading… 3.2.2
@Linyxus
15
Create boxed environments only for references and function values
#16136 by Linyxus was merged Oct 19, 2022 Loading… 3.2.2
1
@Linyxus
9
Give GadtConstraint a nicer toText
#16085 by dwijnand was merged Oct 3, 2022 Loading…
@Linyxus
3
Fix mapping TypeMaps over annotations
#15948 by odersky was merged Sep 3, 2022 Loading… 3.2.2
1
@Linyxus
8
Add experimental capture checking
#15877 by odersky was merged Aug 29, 2022 Loading…
1
@Linyxus
5
Add experimental capture checking
#15875 by odersky was closed Aug 17, 2022 Loading…
@Linyxus
3
Reject all explicitly written type references with bad bounds
#15577 by odersky was merged Jul 9, 2022 Loading… 3.2.1
3
@dwijnand @Linyxus
10
Use GADT constraints in maximiseType
#15544 by dwijnand was merged Jul 12, 2022 Loading… 3.2.1
1
@abgruszecki @Linyxus
16
Keep correct kind when preparing constraint in stripParams
#14761 by odersky was merged Mar 24, 2022 Loading… 3.1.3
1
@Linyxus
4
ProTip! Type g i on any issue or pull request to go back to the issue listing page.