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

Fix #5527: Fix companion module for hk opaque type aliases fasttrack Simple fix. Reviewer should merge or apply additional changes directly.
#5628 by odersky was merged Dec 17, 2018 Loading…
Fix #5422: prefer type tp1 in Typ(tp1) - Prod(tp2, ...)
#5425 by liufengyun was merged Nov 19, 2018 Loading…
Demo/incompleteness therefore asplosion
#10451 by abgruszecki was closed Apr 26, 2021 Draft
Add regression test
#14924 by nicolasstucki was merged Apr 15, 2022 Loading…
Add fixed GADT exhaustivity test cases
#16169 by dwijnand was merged Oct 18, 2022 Loading…
Fix refinement stripping in GADT constrainer
#11522 by Linyxus was merged Mar 11, 2021 Loading… 3.0.0
Add Flags.Opaque to reflection API
#10364 by nicolasstucki was merged Nov 18, 2020 Loading… 3.0.0
Add Flags.Open to reflection API
#10444 by nicolasstucki was merged Nov 22, 2020 Loading… 3.0.0
Fix constraining against HKTypeLambda arguments backport:done This PR was successfully backported.
#15688 by dwijnand was merged Jul 18, 2022 Loading… 3.2.1
Fix #5997: Add missing parentheses
#6182 by nicolasstucki was merged Mar 28, 2019 Loading…
[CI only] Incompatible overload resolution
#5710 by abgruszecki was closed Jan 17, 2019 Loading…
Fix #6518: Add missing case for While
#6520 by nicolasstucki was merged May 16, 2019 Loading…
WIP: attempt to improve erasedValue
#5683 by abgruszecki was closed Jan 23, 2019 Loading…
[CI only] Singleton constraint test
#5704 by abgruszecki was closed Jan 17, 2019 Loading…
Update CI image to use a proxy
#7433 by smarter was merged Oct 23, 2019 Loading…
Fix #7878: Make sure implicit match case bindings are properly substi… fasttrack Simple fix. Reviewer should merge or apply additional changes directly.
#7902 by odersky was merged Jan 7, 2020 Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.