Skip to content

Pull requests: scala/scala3

New pull request New
Clear current search query, filters, and sorts
1 Open 21 Closed
1 Open 21 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

fix #14393
#14396 by rssh was merged Feb 3, 2022 Loading… 3.1.3
1
1
update dotty-cps-async to latest upstream
#14279 by rssh was merged Jan 17, 2022 Loading…
added -Xmacro-settings option and API
#14234 by rssh was merged Jan 12, 2022 Loading… 3.1.2
1
9
added to type mismatch reporting output of tree, which can't be typed
#12717 by rssh was merged Jul 27, 2021 Loading… 3.1.0
6
update dotty-cps-async from upstream
#12307 by rssh was merged May 3, 2021 Loading…
fix #11401 (proxy parameter should be owned by proxy)
#11552 by rssh was merged Mar 1, 2021 Loading… 3.0.0
1
4
fix #11331
#11400 by rssh was merged Feb 16, 2021 Loading… 3.0.0
1
WIP: Fix #11251
#11335 by rssh was merged Feb 24, 2021 Loading… 3.0.0
1
@nicolasstucki
17
Updated dotty-cps-async to the latest version
#10486 by rssh was merged Nov 25, 2020 Loading…
@nicolasstucki
Fix #10151: Fix #10211: Fix changeOwnity for trees, assembled from multiple parts.
#10218 by rssh was closed Nov 19, 2020 Loading…
@nicolasstucki
3
fix #9894: clean ownership when destructing lambda-expressions
#10132 by rssh was closed Nov 2, 2020 Loading…
1
@nicolasstucki
4
Added in reflect Select.overloaded parameter for expected result type [WIP]
#10054 by rssh was merged Oct 22, 2020 Loading… 3.0.0
26
update dotty-cps-async from upstream
#9624 by rssh was merged Aug 24, 2020 Loading…
1
dotty-cps-async updated from upstream
#9505 by rssh was closed Aug 6, 2020 Loading…
2
update dotty-cps-async to current upstream
#9357 by rssh was merged Jul 13, 2020 Loading…
1
Update dotty-cps-async 2020-06-15
#9182 by rssh was merged Jun 15, 2020 Loading…
1
updated dotty-cps-async to upstream
#9008 by rssh was merged May 22, 2020 Loading…
2
updated dotty-cps-async
#8907 by rssh was merged May 8, 2020 Loading…
3
add dotty-cps-async to community build
#8804 by rssh was merged Apr 27, 2020 Loading…
@rssh @anatoliykmetyuk
4
Fix #8029
#8057 by rssh was merged Jan 23, 2020 Loading…
@nicolasstucki
2
Error discarded values (to see patches), not merge
#7456 by rssh was closed Oct 27, 2019 Loading…
2
ProTip! Updated in the last three days: updated:>2025-05-05.