M-Labs/nac3-spec
11
0
Fork 0
Code Issues 14 Pull Requests Releases Wiki Activity

tuple fix

Browse Source
This commit is contained in:
pca006132 2020-12-21 11:57:51 +08:00 committed by pca006132
parent dd02c795c7
commit 53e82f5603
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
toy-impl/parse_expr.py
View File

@ -216,7 +216,7 @@ def parse_binding(name, ty):
raise CustomError(f'pattern matching length mismatch') raise CustomError(f'pattern matching length mismatch')
result = {} result = {}
for x, y in zip(name.elts, ty.params): for x, y in zip(name.elts, ty.params):
result |= parse_name(x, y) result |= parse_binding(x, y)
return result return result
else: else:
raise CustomError(f'binding to {name} is not supported') raise CustomError(f'binding to {name} is not supported')

4
toy-impl/test_expr.py
View File

@ -82,6 +82,10 @@ test_expr('a if a == b else b', {'a': I, 'b': I})
test_expr('[x for x in [1, 2, 3]]', {}) test_expr('[x for x in [1, 2, 3]]', {})
test_expr('[1 for x in [1, 2, 3] if x > 2]', {}) test_expr('[1 for x in [1, 2, 3] if x > 2]', {})
test_expr('[a + a for x in [1, 2, 3] if x > 2]', {'a': I}) test_expr('[a + a for x in [1, 2, 3] if x > 2]', {'a': I})
test_expr('[a for a, b in [(1, 2), (2, 3), (3, 4)] if b > 2]', {})
test_expr('[b for a, b in [(1, (2, 3)), (2, (3, 4)), (3, (4, 5))] if b > 2]', {})
test_expr('[b for a, b in [(1, (2, 3)), (2, (3, 4)), (3, (4, 5))]]', {})
test_expr('[b for a, (b, c) in [(1, (2, 3)), (2, (3, 4)), (3, (4, 5))] if b > 2]', {})
test_classes = """ test_classes = """
class Foo: class Foo: