Skip to content

Pull requests: scala/scala3

New pull request New
Clear current search query, filters, and sorts
0 Open 115 Closed
0 Open 115 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add opaque types area:typer itype:language enhancement
#4028 by odersky was closed Oct 19, 2018 Loading… 0.11 Tech Preview
@abgruszecki
91
Skolem based gadt constraints
#5736 by abgruszecki was merged May 13, 2019 Loading…
2
@abgruszecki
45
WIP: Constraint-based GADT reasoning
#5258 by abgruszecki was closed Dec 14, 2018 Loading…
@abgruszecki
24
Adding support of path-dependent GADT reasoning
#14754 by Linyxus was closed May 11, 2023 Loading…
1
@abgruszecki
24
Handle exports presenting in scala3doc
#10504 by BarkingBad was merged Nov 30, 2020 Loading… 3.0.0
1
@abgruszecki
24
Break circularity in TypeBounds with LazyRef wraps
#14288 by dwijnand was closed Jul 6, 2022 Loading…
1
@abgruszecki
22
Allow inline matches to bind type variables
#5657 by abgruszecki was merged Jan 7, 2019 Loading…
@abgruszecki
21
Deskolemize PatternTypeConstrainer
#12506 by abgruszecki was merged Jun 7, 2021 Loading… 3.0.2
2
@abgruszecki
19
Fix #6635: Improve subtype tests for aliases and singleton types
#8443 by odersky was merged Mar 17, 2020 Loading… 0.23.0-RC1
1
@OlivierBlanvillain @abgruszecki
18
Fix GADT approximation
#9322 by abgruszecki was merged Jul 14, 2020 Loading…
3
@abgruszecki
17
Remove Documentation type from Reflect
#10608 by abgruszecki was merged Dec 7, 2020 Loading… 3.0.0
@abgruszecki
17
Drop scala shadowing and DottyPredef
#10428 by odersky was merged Nov 24, 2020 Loading… 3.0.0
1
@sjrd @abgruszecki
16
Use GADT constraints in maximiseType
#15544 by dwijnand was merged Jul 12, 2022 Loading… 3.2.1
1
@abgruszecki @Linyxus
16
Try either when compare an intersection against an applied type in GADT mode
#15175 by Linyxus was closed May 11, 2023 Loading…
1
@abgruszecki
12
Don't lose info in bounds when pruning
#8828 by odersky was merged May 7, 2020 Loading…
@abgruszecki
11
Refine GADT casts on singletons
#11987 by odersky was closed Apr 20, 2021 Loading…
2
@abgruszecki
11
Reject char literal of raw newline
#8282 by som-snytt was merged Apr 7, 2020 Loading…
@abgruszecki
10
Refactor gadt state
#8990 by abgruszecki was closed Jul 9, 2020 • Draft
@abgruszecki
10
Extract GADT constraints from wildcard type arguments
#14132 by dwijnand was merged Jan 24, 2022 Loading… 3.1.2
1
@abgruszecki
10
Bypass eligible caches for implicit search under GADT constraints
#14072 by odersky was merged Dec 9, 2021 Loading… 3.1.2
1
@abgruszecki
9
Implementing path-dependent GADT (WIP)
#13249 by Linyxus was closed Sep 13, 2021 • Draft
@abgruszecki
8
Fix #11178: remove unsound tweak for F-bounds in isInstanceOf check
#11768 by liufengyun was merged Mar 17, 2021 Loading… 3.0.0
1
@abgruszecki
8
Normalize slashes in paths in TASTy binaries
#10678 by abgruszecki was merged Dec 9, 2020 Loading… 3.0.0
@abgruszecki
8
Intersection based gadts
#6398 by abgruszecki was merged Jun 6, 2019 Loading… 0.16 Tech Preview
@abgruszecki
8
Check type arguments for bad bounds
#15571 by odersky was merged Jul 4, 2022 Loading… 3.2.1
2
@abgruszecki
8
ProTip! Updated in the last three days: updated:>2025-10-12.