diff options
| author | Damien George | 2015-04-22 23:18:28 +0100 |
|---|---|---|
| committer | Damien George | 2015-04-22 23:18:28 +0100 |
| commit | 40d43ea88dfff431dd863146dd2e62ea8c24683e (patch) | |
| tree | fb9000e5d78f4fbaf63d0ea0533c56dbfb4c4a0f /tests/micropython/viper_error.py.exp | |
| parent | 5e9810396f21698718eb26a3d4125bfeeb2f8859 (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.exp | 14 |
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',) |
