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

Don't rollback in PatternTypeConstrainer
#16755 by dwijnand was closed Feb 21, 2023 Loading…
Insert GADT casts for needy match types
#15851 by dwijnand was merged Aug 15, 2022 Loading… 3.2.1
Tastydoc
#7664 by abgruszecki was merged Dec 2, 2019 Loading…
Scala3doc: improve member lookup
#11302 by abgruszecki was merged Feb 4, 2021 Loading…
Add a way to skip scala3docs CI
#10853 by nicolasstucki was merged Dec 19, 2020 Loading…
Refactor LambdaLift
#12724 by odersky was merged Jun 13, 2021 Loading…
Ban classes that incompatibly refine type params
#14820 by dwijnand was closed Oct 10, 2022 Loading…
Treat Refinements more like AndTypes
#12317 by odersky was merged May 4, 2021 Loading… 3.0.1
Rename reflection comment to documentation
#9858 by nicolasstucki was merged Sep 29, 2020 Loading… 3.0.0
Allow refineUsingParent to infer GADT bounds
#15706 by dwijnand was merged Jul 27, 2022 Loading… 3.2.1
Extract wildcard GADT constraints more directly
#14832 by dwijnand was merged Apr 9, 2022 Loading… 3.2.0
WIP #4721 try improving errors stat:wip
#4970 by Blaisorblade was closed Apr 29, 2021 Loading…
Fix #9339: Register doc of extension methods
#9375 by nicolasstucki was merged Jul 18, 2020 Loading…
Fix i11545
#12087 by abgruszecki was closed Jun 9, 2022 Loading…
Fix Java lookups
#12070 by BarkingBad was merged Apr 16, 2021 Loading… 3.0.1
ProTip! Updated in the last three days: updated:>2025-10-30.