aboutsummaryrefslogtreecommitdiff
path: root/tests/micropython/viper_error.py.exp
diff options
context:
space:
mode:
authorDamien George2015-04-22 23:18:28 +0100
committerDamien George2015-04-22 23:18:28 +0100
commit40d43ea88dfff431dd863146dd2e62ea8c24683e (patch)
treefb9000e5d78f4fbaf63d0ea0533c56dbfb4c4a0f /tests/micropython/viper_error.py.exp
parent5e9810396f21698718eb26a3d4125bfeeb2f8859 (diff)
tests: Add more tests for viper, including tests for ViperTypeError's.
Diffstat (limited to 'tests/micropython/viper_error.py.exp')
-rw-r--r--tests/micropython/viper_error.py.exp14
1 files changed, 12 insertions, 2 deletions
diff --git a/tests/micropython/viper_error.py.exp b/tests/micropython/viper_error.py.exp
index 5275689b4..ad1ba34c6 100644
--- a/tests/micropython/viper_error.py.exp
+++ b/tests/micropython/viper_error.py.exp
@@ -1,2 +1,12 @@
-SyntaxError
-SyntaxError
+SyntaxError('parameter annotation must be an identifier',)
+SyntaxError('return annotation must be an identifier',)
+ViperTypeError("local 'x' used before type known",)
+ViperTypeError("local 'x' has type 'int' but source is 'object'",)
+ViperTypeError("can't implicitly convert 'ptr' to 'bool'",)
+ViperTypeError("return expected 'int' but got 'object'",)
+ViperTypeError("can't do binary op between 'int' and 'object'",)
+ViperTypeError("can't load from 'int'",)
+ViperTypeError("can't load from 'int'",)
+ViperTypeError("can't store to 'int'",)
+ViperTypeError("can't store to 'int'",)
+ViperTypeError('must raise an object',)