micropython/tests/micropython/viper_error.py

12 wiersze
308 B
Python

# test syntax errors specific to viper code generation
def test_syntax(code):
try:
exec(code)
except SyntaxError:
print("SyntaxError")
# viper: annotations must be identifiers
test_syntax("@micropython.viper\ndef f(a:1): pass")
test_syntax("@micropython.viper\ndef f() -> 1: pass")