Skip to content

Match if sub cases #23786

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hamzaremmal merged 16 commits into from
Aug 21, 2025
Merged

Match if sub cases #23786

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
0a391cd
Add SubMatch Tree
EugeneFlesselle Aug 13, 2025
17ca7fc
Add scala.language.experimental.matchWithSubCases
EugeneFlesselle Aug 13, 2025
3922789
Add parsing of match sub cases
EugeneFlesselle Aug 13, 2025
4c28954
Add pickling of match sub cases
EugeneFlesselle Aug 13, 2025
5e46b01
Handle sub cases in PatternMatcher
EugeneFlesselle Aug 13, 2025
e26be67
Handle exhaustivity and reachability checking of matches with sub cases
EugeneFlesselle Aug 13, 2025
352317c
Handle inlining of matches with sub cases
EugeneFlesselle Aug 13, 2025
3e89455
Test match with sub sub cases and catch with sub cases
EugeneFlesselle Aug 14, 2025
3b86dc9
Handle partial functions with sub cases
EugeneFlesselle Aug 15, 2025
4da6103
Rename experimental feature to `subCases`
EugeneFlesselle Aug 15, 2025
f7e0512
Allow single sub case without new line
EugeneFlesselle Aug 15, 2025
367acdd
Replace sub match introducer keyword from `with` to `if`
EugeneFlesselle Aug 20, 2025
24bdb6e
Fix error case EmptyTree span
EugeneFlesselle Aug 20, 2025
e5a73b0
Use preexisting tag for pickling of match with sub cases
EugeneFlesselle Aug 21, 2025
466da83
Add reference doc
EugeneFlesselle Aug 21, 2025
c432c0f
Apply suggestions from code review
hamzaremmal Aug 21, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Use preexisting tag for pickling of match with sub cases
  • Loading branch information
@EugeneFlesselle
EugeneFlesselle committed Aug 21, 2025
commit e5a73b00dc00c5c9e6dc9ac338ca6c397a783010
2 changes: 1 addition & 1 deletion compiler/src/dotty/tools/dotc/core/tasty/TreePickler.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -590,7 +590,7 @@ class TreePickler(pickler: TastyPickler, attributes: Attributes) {
if (tree.isInline)
if (selector.isEmpty) writeByte(IMPLICIT)
else { writeByte(INLINE); pickleTree(selector) }
else if tree.isSubMatch then { writeByte(WITH); pickleTree(selector) }
else if tree.isSubMatch then { writeByte(LAZY); pickleTree(selector) }
else pickleTree(selector)
tree.cases.foreach(pickleTree)
}
Expand Down
2 changes: 1 addition & 1 deletion compiler/src/dotty/tools/dotc/core/tasty/TreeUnpickler.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1539,7 +1539,7 @@ class TreeUnpickler(reader: TastyReader,
readByte()
InlineMatch(readTree(), readCases(end))
}
else if nextByte == WITH then
else if nextByte == LAZY then // similarly to InlineMatch we use an arbitrary Cat.1 tag
readByte()
SubMatch(readTree(), readCases(end))
else Match(readTree(), readCases(end)))
Expand Down
1 change: 0 additions & 1 deletion tasty/src/dotty/tools/tasty/TastyFormat.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -511,7 +511,6 @@ object TastyFormat {
final val EMPTYCLAUSE = 45
final val SPLITCLAUSE = 46
final val TRACKED = 47
final val WITH = 48

// Tree Cat. 2: tag Nat
final val firstNatTreeTag = SHAREDterm
Expand Down