jbwdevries/phasm
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Added a missing type check test

Browse Source
This commit is contained in:
Johan B.W. de Vries 2025-05-21 19:22:45 +02:00
parent fdaa680572
commit cfdcaa230d
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
tests/integration/test_lang/test_function_calls.py
View File

@ -32,3 +32,15 @@ def helper(left: i32, right: i32) -> i32:
result = Suite(code_py).run_code() result = Suite(code_py).run_code()
assert 7 == result.returned_value assert 7 == result.returned_value
@pytest.mark.integration_test
@pytest.mark.skip('FIXME: Type checking')
def test_call_invalid_type():
code_py = """
def helper(left: i32) -> i32:
return left()
"""
result = Suite(code_py).run_code()
assert 7 == result.returned_value