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

Skolem based gadt constraints
#5736 by abgruszecki was merged May 13, 2019 Loading…
Handle exports presenting in scala3doc
#10504 by BarkingBad was merged Nov 30, 2020 Loading… 3.0.0
Allow inline matches to bind type variables
#5657 by abgruszecki was merged Jan 7, 2019 Loading…
Deskolemize PatternTypeConstrainer
#12506 by abgruszecki was merged Jun 7, 2021 Loading… 3.0.2
Fix GADT approximation
#9322 by abgruszecki was merged Jul 14, 2020 Loading…
Use GADT constraints in maximiseType
#15544 by dwijnand was merged Jul 12, 2022 Loading… 3.2.1
Don't lose info in bounds when pruning
#8828 by odersky was merged May 7, 2020 Loading…
Fix #10357: Add MATCHCASEtype tag to Tasty
#10362 by odersky was merged Nov 18, 2020 Loading…
Add missing TASTy reflect ImplicitMatch
#6165 by nicolasstucki was merged Mar 26, 2019 Loading…
Add RepeatedAnnot to Reflection.defn
#9428 by nicolasstucki was merged Jul 28, 2020 Loading…
Fix #8769: change dottydoc root to docs/ subdirectory
#9756 by smarter was merged Sep 21, 2020 Loading…
Move Reflection to scala.quoted
#10291 by nicolasstucki was merged Nov 12, 2020 Loading… 3.0.0
Fix #9339: Register doc of extension methods
#9375 by nicolasstucki was merged Jul 18, 2020 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…
Fix #8012: Disallow conversion to underspecified SAM type fasttrack Simple fix. Reviewer should merge or apply additional changes directly.
#8013 by odersky was merged Jan 17, 2020 Loading…
Insert GADT casts for needy match types
#15851 by dwijnand was merged Aug 15, 2022 Loading… 3.2.1
Fix #5997: Add missing parentheses
#6182 by nicolasstucki was merged Mar 28, 2019 Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.