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
Add scala.language.experimental.matchWithSubCases
  • Loading branch information
@EugeneFlesselle
EugeneFlesselle committed Aug 15, 2025
commit 17ca7fc170af69649ddfc31c4726ca536ea99cec
1 change: 1 addition & 0 deletions compiler/src/dotty/tools/dotc/config/Feature.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -37,6 +37,7 @@ object Feature:
val modularity = experimental("modularity")
val quotedPatternsWithPolymorphicFunctions = experimental("quotedPatternsWithPolymorphicFunctions")
val packageObjectValues = experimental("packageObjectValues")
val matchWithSubCases = experimental("matchWithSubCases")

def experimentalAutoEnableFeatures(using Context): List[TermName] =
defn.languageExperimentalFeatures
Expand Down
7 changes: 6 additions & 1 deletion library/src/scala/language.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -342,14 +342,19 @@ object language {
* @see [[https://github.com/scala/improvement-proposals/pull/79]]
*/
@compileTimeOnly("`betterFors` can only be used at compile time in import statements")
@deprecated("The `experimental.betterFors` language import no longer has any effect, the feature is being stablised and can be enabled using `-preview` flag", since = "3.7")
@deprecated("The `experimental.betterFors` language import no longer has any effect, the feature is being stabilised and can be enabled using `-preview` flag", since = "3.7")
object betterFors

/** Experimental support for package object values
*/
@compileTimeOnly("`packageObjectValues` can only be used at compile time in import statements")
object packageObjectValues

/** Experimental support for match expressions with sub-cases.
*/
@compileTimeOnly("`matchWithSubCases` can only be used at compile time in import statements")
object matchWithSubCases

}

/** The deprecated object contains features that are no longer officially suypported in Scala.
Expand Down
7 changes: 6 additions & 1 deletion library/src/scala/runtime/stdLibPatches/language.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -147,13 +147,18 @@ object language:
* @see [[https://github.com/scala/improvement-proposals/pull/79]]
*/
@compileTimeOnly("`betterFors` can only be used at compile time in import statements")
@deprecated("The `experimental.betterFors` language import no longer has any effect, the feature is being stablised and can be enabled using `-preview` flag", since = "3.7")
@deprecated("The `experimental.betterFors` language import no longer has any effect, the feature is being stabilised and can be enabled using `-preview` flag", since = "3.7")
object betterFors

/** Experimental support for package object values
*/
@compileTimeOnly("`packageObjectValues` can only be used at compile time in import statements")
object packageObjectValues

/** Experimental support for match expressions with sub-cases.
*/
@compileTimeOnly("`matchWithSubCases` can only be used at compile time in import statements")
object matchWithSubCases
end experimental

/** The deprecated object contains features that are no longer officially suypported in Scala.
Expand Down