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

Ensure erased vals pass CheckRealizable
#16111 by natsukagami was merged Nov 8, 2022 Loading…
3 tasks done
3.3.0
WIP #4721 try improving errors stat:wip
#4970 by Blaisorblade was closed Apr 29, 2021 Loading…
WIP: Constraint-based GADT reasoning
#5258 by abgruszecki was closed Dec 14, 2018 Loading…
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…
Fix #5997: Add missing parentheses
#6182 by nicolasstucki was merged Mar 28, 2019 Loading…
Skolem based gadt constraints
#5736 by abgruszecki was merged May 13, 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…
Allow inline matches to bind type variables
#5657 by abgruszecki was merged Jan 7, 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…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.