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… updated Oct 3, 2022
Eliminate class hierarchy in GadtConstraint
#16194 by dwijnand was merged Oct 25, 2022 Loading… updated Oct 25, 2022
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… updated Aug 1, 2023 3.4.0
Fix spurious subtype check pruning when both sides have unions
#18213 by Linyxus was merged Jul 20, 2023 Loading… updated Aug 1, 2023 3.4.0
Fix #18246: correctly compute capture sets in TypeComparer.glb
#18254 by Linyxus was merged Jul 23, 2023 Loading… updated Aug 1, 2023 3.4.0
Special handling of experimental.captureChecking import
#17427 by odersky was merged May 30, 2023 Loading… updated Aug 1, 2023 3.4.0
Change cc syntax
#17377 by odersky was merged May 10, 2023 Loading… updated Aug 1, 2023 3.3.1
Implement sealed type parameters
#17422 by odersky was merged May 10, 2023 Loading… updated Aug 1, 2023 3.3.1
Sharpen range approximation for applied types with capture set ranges
#16261 by odersky was merged Oct 31, 2022 Loading… updated Aug 1, 2023 3.3.0
Create boxed environments only for references and function values
#16136 by Linyxus was merged Oct 19, 2022 Loading… updated Aug 1, 2023 3.2.2
Several fixes to box inference
#16141 by Linyxus was merged Oct 15, 2022 Loading… updated Aug 1, 2023 3.2.2
Fix mapping TypeMaps over annotations
#15948 by odersky was merged Sep 3, 2022 Loading… updated Aug 1, 2023 3.2.2
Use GADT constraints in maximiseType
#15544 by dwijnand was merged Jul 12, 2022 Loading… updated Aug 1, 2023 3.2.1
Reject all explicitly written type references with bad bounds
#15577 by odersky was merged Jul 9, 2022 Loading… updated Aug 1, 2023 3.2.1
Split out immutable GadtConstraint
#16602 by dwijnand was merged Jan 26, 2023 Loading… updated Aug 2, 2023 3.3.0
Make reach refinement shallow
#19171 by Linyxus was merged Dec 6, 2023 Loading… updated Dec 20, 2023 3.4.0
Don't follow opaque aliases when transforming sym info for cc
#18929 by odersky was merged Nov 15, 2023 Loading… updated Dec 20, 2023 3.4.0
Reset comparersInUse to zero in ContextState.reset
#18915 by Linyxus was merged Nov 14, 2023 Loading… updated Dec 20, 2023 3.4.0
Alternative scheme for cc encapsulation
#18899 by odersky was merged Nov 17, 2023 Loading… updated Dec 20, 2023 3.4.0
Fix capture set variable installation in Setup
#18885 by Linyxus was merged Nov 10, 2023 Loading… updated Dec 20, 2023 3.4.0
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… updated Dec 20, 2023 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… updated Dec 20, 2023 3.4.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… updated Dec 20, 2023 3.4.0
New capture escape checking based on levels
#18463 by odersky was merged Sep 9, 2023 Loading… updated Dec 20, 2023 3.4.0
Update CC doc page to new capture tracking syntax
#18387 by odersky was merged Aug 15, 2023 Loading… updated Dec 20, 2023 3.4.0
ProTip! Add no:assignee to see everything that’s not assigned.