Skip to content

Commit 2e9ee49

Browse files
antonsyndclaude
andcommitted
test(semantic): add Optional/Result pattern matching test fixtures (#482)
10 new test fixtures covering: - match_optional_0001/0002: basic Optional Some/None matching - match_optional_nested_0001: nested logic within match arms - match_optional_exhaustive_0001: exhaustive Optional match (no wildcard) - match_optional_error_0001: missing None case produces SPY0266 - match_result_0001/0002: basic Result Ok/Err matching - match_result_nested_0001: nested logic within Result match arms - match_result_exhaustive_0001: exhaustive Result match (no wildcard) - match_result_error_0001: missing Err case produces SPY0266 Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
1 parent 30c146e commit 2e9ee49

20 files changed

Lines changed: 128 additions & 0 deletions
Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
value: 42
2+
none
Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
def describe(val: int?) -> str:
2+
match val:
3+
case Some(v):
4+
return "value: " + str(v)
5+
case None():
6+
return "none"
7+
8+
def main():
9+
x: int? = Some(42)
10+
y: int? = None()
11+
print(describe(x))
12+
print(describe(y))
Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
got: hello
2+
nothing
Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
def describe(val: str?) -> str:
2+
match val:
3+
case Some(s):
4+
return "got: " + s
5+
case _:
6+
return "nothing"
7+
8+
def main():
9+
x: str? = Some("hello")
10+
y: str? = None()
11+
print(describe(x))
12+
print(describe(y))
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
must return a value
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
def describe(val: int?) -> str:
2+
match val:
3+
case Some(v):
4+
return str(v)
5+
6+
def main():
7+
print(describe(Some(1)))
Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
42
2+
0
Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
def unwrap_or_default(val: int?) -> int:
2+
match val:
3+
case Some(v):
4+
return v
5+
case None():
6+
return 0
7+
8+
def main():
9+
print(unwrap_or_default(Some(42)))
10+
print(unwrap_or_default(None()))
Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
big: 42
2+
small: 5
3+
none
Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
def outer(val: int?) -> str:
2+
match val:
3+
case Some(v):
4+
if v > 10:
5+
return "big: " + str(v)
6+
return "small: " + str(v)
7+
case None():
8+
return "none"
9+
10+
def main():
11+
print(outer(Some(42)))
12+
print(outer(Some(5)))
13+
print(outer(None()))

0 commit comments

Comments
 (0)