diff options
| author | Damien George <damien.p.george@gmail.com> | 2014-08-15 16:45:41 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2014-08-15 16:45:41 +0100 |
| commit | 2ac4af6946543ae96cf3659468e1b8cabb057f85 (patch) | |
| tree | 2e19460fec67666259afe529e7f4dff71b6451cf /py/emitbc.c | |
| parent | 6be0b0a8ec9a6badc601190ccee876755ce7efb7 (diff) | |
| download | micropython-2ac4af6946543ae96cf3659468e1b8cabb057f85.tar.gz micropython-2ac4af6946543ae96cf3659468e1b8cabb057f85.zip | |
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 'py/emitbc.c')
| -rw-r--r-- | py/emitbc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/py/emitbc.c b/py/emitbc.c index 161e8c7f6d..a1eacb2986 100644 --- a/py/emitbc.c +++ b/py/emitbc.c @@ -265,7 +265,7 @@ STATIC void emit_write_bytecode_byte_signed_label(emit_t* emit, byte b1, uint la c[2] = bytecode_offset >> 8; } -STATIC void emit_bc_set_native_types(emit_t *emit, bool do_native_types) { +STATIC void emit_bc_set_native_type(emit_t *emit, mp_uint_t op, mp_uint_t arg1, qstr arg2) { } STATIC void emit_bc_start_pass(emit_t *emit, pass_kind_t pass, scope_t *scope) { @@ -872,7 +872,7 @@ STATIC void emit_bc_end_except_handler(emit_t *emit) { } const emit_method_table_t emit_bc_method_table = { - emit_bc_set_native_types, + emit_bc_set_native_type, emit_bc_start_pass, emit_bc_end_pass, emit_bc_last_emit_was_return_value, |