Skip to content
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.

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

Simplify case of and pattern matching implementation #12213

Open
JaroslavTulach opened this issue Feb 1, 2025 · 0 comments
Open

Simplify case of and pattern matching implementation #12213

JaroslavTulach opened this issue Feb 1, 2025 · 0 comments

Comments

@JaroslavTulach
Copy link
Member

JaroslavTulach commented Feb 1, 2025

Pavel Marek reports:

Originally posted in #10507

  • Convert rest of global typing pass group to mini passes #11717 will be blocked until I fully understand pattern matching IR and runtime interpretation.
  • The whole NestedPatternMatch IR pass seems unnecessary and too complicated - creates a lot of IR nodes.
  • Before migrating this pass to a mini pass, we could try to simplify the whole pattern matching IR (both Scala and Truffle).

The handling of case of pattern and its BranchXyzNodes were clearly created before Truffle was the target platform. As such

  • too much work is being done in IR
  • while most of the work should be done in Truffle nodes

Goals

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: New
Development

No branches or pull requests

1 participant