diff options
| author | Damien George | 2014-08-15 16:45:41 +0100 |
|---|---|---|
| committer | Damien George | 2014-08-15 16:45:41 +0100 |
| commit | 2ac4af6946543ae96cf3659468e1b8cabb057f85 (patch) | |
| tree | 2e19460fec67666259afe529e7f4dff71b6451cf /tests/basics/memoryerror.py.exp | |
| parent | 6be0b0a8ec9a6badc601190ccee876755ce7efb7 (diff) | |
py: Allow viper to have type annotations.
Viper functions can now be annotated with the type of their arguments
and return value. Eg:
@micropython.viper
def f(x:int) -> int:
return x + 1
Diffstat (limited to 'tests/basics/memoryerror.py.exp')
0 files changed, 0 insertions, 0 deletions