Skip to content

[WIP] Introduce Structural Pattern Matching (Part1) - #3427

Closed
Snowapril wants to merge 11 commits into
RustPython:mainfrom
Snowapril:pattern-matching
Closed

[WIP] Introduce Structural Pattern Matching (Part1)#3427
Snowapril wants to merge 11 commits into
RustPython:mainfrom
Snowapril:pattern-matching

Conversation

@Snowapril

@Snowapril Snowapril commented Nov 8, 2021 •
edited
Loading

Copy link
Copy Markdown
Contributor

This revision introduce structural pattern matching from cpython 3.10 which introduced in pep 634, 635, 636.

Simple example

(Syntax highlighting for it on github is not available yet 😂)

# point is an (x, y) tuple
match point:
    case (0, 0):
        print("Origin")
    case (0, y):
        print(f"Y={y}")
    case (x, 0):
        print(f"X={x}")
    case (x, y):
        print(f"X={x}, Y={y}")
    case _:
        raise ValueError("Not a point")

If possible, I want to separate PR to two PRs (syntax, semantic).

Python Documentation

@Snowapril
Snowapril marked this pull request as draft November 8, 2021 05:27
@Snowapril
Snowapril force-pushed the pattern-matching branch 3 times, most recently from 20d9885 to 8ccf1d6 Compare May 3, 2022 14:17
Snowapril added 11 commits May 13, 2022 22:06
@Snowapril
Update ast.py to python 3.10
90847a5 
Signed-off-by: snowapril <sinjihng@gmail.com>
@Snowapril
Copy pattern matching in Python.asdl from cpython3.10
8367a79 
Signed-off-by: snowapril <sinjihng@gmail.com>
@Snowapril
Auto-generate ast_gen & gen with asdl_rs.py
483cccb 
Signed-off-by: snowapril <sinjihng@gmail.com>
@Snowapril
Add Match & Case tokens
2162275 
Signed-off-by: snowapril <sinjihng@gmail.com>
@Snowapril
Add scanning Match and scan_pattern
fd646dd 
Signed-off-by: snowapril <sinjihng@gmail.com>
@Snowapril
Add Match stmt compile (WIP)
b31bcdc 
Signed-off-by: snowapril <sinjihng@gmail.com>
@Snowapril
Add rules for match, case in lalrpop (WIP)
50ab2cd 
Signed-off-by: snowapril <sinjihng@gmail.com>
@Snowapril
Add test_patma.py from cpython 3.10
f52ce8d 
Signed-off-by: snowapril <sinjihng@gmail.com>
@Snowapril
Update collections.__init__.py to support pattern-matching
689bd16 
Signed-off-by: snowapril <sinjihng@gmail.com>
@Snowapril
Update dataclasses.py to support pattern-maching
c84c49f 
Signed-off-by: snowapril <sinjihng@gmail.com>
@Snowapril
Add match entry in build.rs
12ae068 
Signed-off-by: snowapril <sinjihng@gmail.com>
@youknowone

youknowone commented Dec 10, 2022

Copy link
Copy Markdown
Member

This is blocker of astral-sh/ruff#282
I think adding an actual match implementation will not be an easy job,
but adding match expr to parser would be enough with this PR.

@youknowone youknowone mentioned this pull request Dec 10, 2022
Closed
@youknowone youknowone mentioned this pull request Feb 20, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@Snowapril @youknowone