Skip to content

Pull requests: scala/scala3

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Give GadtConstraint a nicer toText
#16085 by dwijnand was merged Oct 3, 2022 Loading…
Eliminate class hierarchy in GadtConstraint
#16194 by dwijnand was merged Oct 25, 2022 Loading…
Update CC doc page to new capture tracking syntax
#18387 by odersky was merged Aug 15, 2023 Loading… 3.4.0
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
New capture escape checking based on levels
#18463 by odersky was merged Sep 9, 2023 Loading… 3.4.0
Change cc syntax
#17377 by odersky was merged May 10, 2023 Loading… 3.3.1
Implement sealed type parameters
#17422 by odersky was merged May 10, 2023 Loading… 3.3.1
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
Fix error detected in review of #18699 cc-experiment Intended to be merged with cc-experiment branch on origin
#18781 by odersky was merged Oct 30, 2023 Loading… 3.4.0
Support src filter in -WConf (Closes #17635)
#18783 by povder was merged Apr 25, 2024 Loading… 3.5.0
Fix potential soundness hole when adding references to a mapped capture set cc-experiment Intended to be merged with cc-experiment branch on origin
#18758 by odersky was merged Oct 30, 2023 Loading… 3.4.0
Alternative scheme for cc encapsulation
#18899 by odersky was merged Nov 17, 2023 Loading… 3.4.0
Make reach refinement shallow
#19171 by Linyxus was merged Dec 6, 2023 Loading… 3.4.0
Fix mapping TypeMaps over annotations
#15948 by odersky was merged Sep 3, 2022 Loading… 3.2.2
Several fixes to box inference
#16141 by Linyxus was merged Oct 15, 2022 Loading… 3.2.2
Use GADT constraints in maximiseType
#15544 by dwijnand was merged Jul 12, 2022 Loading… 3.2.1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.