runtime.c 41.7 KB
Newer Older
Damien's avatar
Damien committed
1
2
3
4
#include <stdio.h>
#include <string.h>
#include <assert.h>

5
#include "nlr.h"
Damien's avatar
Damien committed
6
#include "misc.h"
7
#include "mpconfig.h"
8
#include "qstr.h"
9
#include "obj.h"
10
#include "objtuple.h"
11
#include "objmodule.h"
12
#include "parsenum.h"
13
#include "runtime0.h"
Damien's avatar
Damien committed
14
#include "runtime.h"
15
#include "emitglue.h"
16
#include "builtin.h"
17
#include "builtintables.h"
18
#include "bc.h"
19
#include "smallint.h"
20
#include "objgenerator.h"
21

22
#if 0 // print debugging info
23
#define DEBUG_PRINT (1)
24
#define DEBUG_printf DEBUG_printf
25
#define DEBUG_OP_printf(...) DEBUG_printf(__VA_ARGS__)
26
#else // don't print debugging info
27
28
#define DEBUG_printf(...) (void)0
#define DEBUG_OP_printf(...) (void)0
29
#endif
Damien's avatar
Damien committed
30

31
// locals and globals need to be pointers because they can be the same in outer module scope
32
33
STATIC mp_obj_dict_t *dict_locals;
STATIC mp_obj_dict_t *dict_globals;
34

35
// dictionary for the __main__ module
36
STATIC mp_obj_dict_t dict_main;
37
38
39
40

const mp_obj_module_t mp_module___main__ = {
    .base = { &mp_type_module },
    .name = MP_QSTR___main__,
41
    .globals = (mp_obj_dict_t*)&dict_main,
42
43
};

Damien George's avatar
Damien George committed
44
void mp_init(void) {
45
46
    mp_emit_glue_init();

47
48
    // init global module stuff
    mp_module_init();
49

50
    // initialise the __main__ module
51
52
    mp_obj_dict_init(&dict_main, 1);
    mp_obj_dict_store(&dict_main, MP_OBJ_NEW_QSTR(MP_QSTR___name__), MP_OBJ_NEW_QSTR(MP_QSTR___main__));
53
54

    // locals = globals for outer module (see Objects/frameobject.c/PyFrame_New())
55
    dict_locals = dict_globals = &dict_main;
Damien's avatar
Damien committed
56
57
}

Damien George's avatar
Damien George committed
58
void mp_deinit(void) {
59
    //mp_obj_dict_free(&dict_main);
60
61
    mp_module_deinit();
    mp_emit_glue_deinit();
Damien's avatar
Damien committed
62
63
}

Damien George's avatar
Damien George committed
64
mp_obj_t mp_load_const_dec(qstr qstr) {
Damien's avatar
Damien committed
65
    DEBUG_OP_printf("load '%s'\n", qstr_str(qstr));
66
67
    uint len;
    const byte* data = qstr_data(qstr, &len);
68
    return mp_parse_num_decimal((const char*)data, len, true, false);
Damien's avatar
Damien committed
69
70
}

Damien George's avatar
Damien George committed
71
mp_obj_t mp_load_const_str(qstr qstr) {
Damien's avatar
Damien committed
72
    DEBUG_OP_printf("load '%s'\n", qstr_str(qstr));
73
    return MP_OBJ_NEW_QSTR(qstr);
Damien's avatar
Damien committed
74
75
}

Damien George's avatar
Damien George committed
76
mp_obj_t mp_load_const_bytes(qstr qstr) {
77
78
79
80
81
82
    DEBUG_OP_printf("load b'%s'\n", qstr_str(qstr));
    uint len;
    const byte *data = qstr_data(qstr, &len);
    return mp_obj_new_bytes(data, len);
}

Damien George's avatar
Damien George committed
83
mp_obj_t mp_load_name(qstr qstr) {
Damien's avatar
Damien committed
84
    // logic: search locals, globals, builtins
85
    DEBUG_OP_printf("load name %s\n", qstr_str(qstr));
86
    // If we're at the outer scope (locals == globals), dispatch to load_global right away
87
88
    if (dict_locals != dict_globals) {
        mp_map_elem_t *elem = mp_map_lookup(&dict_locals->map, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP);
89
90
91
        if (elem != NULL) {
            return elem->value;
        }
Damien's avatar
Damien committed
92
    }
93
    return mp_load_global(qstr);
Damien's avatar
Damien committed
94
95
}

Damien George's avatar
Damien George committed
96
mp_obj_t mp_load_global(qstr qstr) {
97
98
    // logic: search globals, builtins
    DEBUG_OP_printf("load global %s\n", qstr_str(qstr));
99
    mp_map_elem_t *elem = mp_map_lookup(&dict_globals->map, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP);
100
    if (elem == NULL) {
101
102
        // TODO lookup in dynamic table of builtins first
        elem = mp_map_lookup((mp_map_t*)&mp_builtin_object_dict_obj.map, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP);
103
        if (elem == NULL) {
104
            nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_NameError, "name '%s' is not defined", qstr_str(qstr)));
105
106
107
        }
    }
    return elem->value;
Damien's avatar
Damien committed
108
109
}

Damien George's avatar
Damien George committed
110
mp_obj_t mp_load_build_class(void) {
Damien's avatar
Damien committed
111
    DEBUG_OP_printf("load_build_class\n");
112
113
114
    // TODO lookup __build_class__ in dynamic table of builtins first
    // ... else no user-defined __build_class__, return builtin one
    return (mp_obj_t)&mp_builtin___build_class___obj;
Damien's avatar
Damien committed
115
116
}

Damien George's avatar
Damien George committed
117
void mp_store_name(qstr qstr, mp_obj_t obj) {
118
    DEBUG_OP_printf("store name %s <- %p\n", qstr_str(qstr), obj);
119
    mp_obj_dict_store(dict_locals, MP_OBJ_NEW_QSTR(qstr), obj);
120
121
}

Damien George's avatar
Damien George committed
122
void mp_delete_name(qstr qstr) {
123
    DEBUG_OP_printf("delete name %s\n", qstr_str(qstr));
124
125
    // TODO convert KeyError to NameError if qstr not found
    mp_obj_dict_delete(dict_locals, MP_OBJ_NEW_QSTR(qstr));
126
127
}

Damien George's avatar
Damien George committed
128
void mp_store_global(qstr qstr, mp_obj_t obj) {
129
    DEBUG_OP_printf("store global %s <- %p\n", qstr_str(qstr), obj);
130
    mp_obj_dict_store(dict_globals, MP_OBJ_NEW_QSTR(qstr), obj);
Damien's avatar
Damien committed
131
132
}

133
134
135
136
137
138
void mp_delete_global(qstr qstr) {
    DEBUG_OP_printf("delete global %s\n", qstr_str(qstr));
    // TODO convert KeyError to NameError if qstr not found
    mp_obj_dict_delete(dict_globals, MP_OBJ_NEW_QSTR(qstr));
}

Damien George's avatar
Damien George committed
139
mp_obj_t mp_unary_op(int op, mp_obj_t arg) {
Damien's avatar
Damien committed
140
    DEBUG_OP_printf("unary %d %p\n", op, arg);
141

142
143
    if (MP_OBJ_IS_SMALL_INT(arg)) {
        mp_small_int_t val = MP_OBJ_SMALL_INT_VALUE(arg);
Damien's avatar
Damien committed
144
        switch (op) {
Damien George's avatar
Damien George committed
145
            case MP_UNARY_OP_BOOL:
146
                return MP_BOOL(val != 0);
Damien George's avatar
Damien George committed
147
            case MP_UNARY_OP_POSITIVE:
148
                return arg;
Damien George's avatar
Damien George committed
149
            case MP_UNARY_OP_NEGATIVE:
150
151
152
153
154
155
                // check for overflow
                if (val == MP_SMALL_INT_MIN) {
                    return mp_obj_new_int(-val);
                } else {
                    return MP_OBJ_NEW_SMALL_INT(-val);
                }
Damien George's avatar
Damien George committed
156
            case MP_UNARY_OP_INVERT:
157
158
159
160
                return MP_OBJ_NEW_SMALL_INT(~val);
            default:
                assert(0);
                return arg;
161
        }
162
163
164
165
    } else {
        mp_obj_type_t *type = mp_obj_get_type(arg);
        if (type->unary_op != NULL) {
            mp_obj_t result = type->unary_op(op, arg);
166
            if (result != MP_OBJ_NOT_SUPPORTED) {
167
168
                return result;
            }
Damien's avatar
Damien committed
169
        }
170
        // TODO specify in error message what the operator is
171
        nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "bad operand type for unary operator: '%s'", mp_obj_get_type_str(arg)));
Damien's avatar
Damien committed
172
    }
Damien's avatar
Damien committed
173
174
}

Damien George's avatar
Damien George committed
175
mp_obj_t mp_binary_op(int op, mp_obj_t lhs, mp_obj_t rhs) {
Damien's avatar
Damien committed
176
    DEBUG_OP_printf("binary %d %p %p\n", op, lhs, rhs);
177
178
179
180
181
182
183
184
185
186

    // TODO correctly distinguish inplace operators for mutable objects
    // lookup logic that CPython uses for +=:
    //   check for implemented +=
    //   then check for implemented +
    //   then check for implemented seq.inplace_concat
    //   then check for implemented seq.concat
    //   then fail
    // note that list does not implement + or +=, so that inplace_concat is reached first for +=

187
    // deal with is
Damien George's avatar
Damien George committed
188
    if (op == MP_BINARY_OP_IS) {
189
190
191
        return MP_BOOL(lhs == rhs);
    }

192
    // deal with == and != for all types
Damien George's avatar
Damien George committed
193
    if (op == MP_BINARY_OP_EQUAL || op == MP_BINARY_OP_NOT_EQUAL) {
194
        if (mp_obj_equal(lhs, rhs)) {
Damien George's avatar
Damien George committed
195
            if (op == MP_BINARY_OP_EQUAL) {
196
197
198
199
200
                return mp_const_true;
            } else {
                return mp_const_false;
            }
        } else {
Damien George's avatar
Damien George committed
201
            if (op == MP_BINARY_OP_EQUAL) {
202
203
204
205
206
207
208
209
                return mp_const_false;
            } else {
                return mp_const_true;
            }
        }
    }

    // deal with exception_match for all types
Damien George's avatar
Damien George committed
210
    if (op == MP_BINARY_OP_EXCEPTION_MATCH) {
211
212
213
214
215
216
        // rhs must be issubclass(rhs, BaseException)
        if (mp_obj_is_exception_type(rhs)) {
            // if lhs is an instance of an exception, then extract and use its type
            if (mp_obj_is_exception_instance(lhs)) {
                lhs = mp_obj_get_type(lhs);
            }
217
            if (mp_obj_is_subclass_fast(lhs, rhs)) {
218
219
220
221
222
                return mp_const_true;
            } else {
                return mp_const_false;
            }
        }
223
224
        assert(0);
        return mp_const_false;
225
226
    }

227
    if (MP_OBJ_IS_SMALL_INT(lhs)) {
228
        mp_small_int_t lhs_val = MP_OBJ_SMALL_INT_VALUE(lhs);
229
230
        if (MP_OBJ_IS_SMALL_INT(rhs)) {
            mp_small_int_t rhs_val = MP_OBJ_SMALL_INT_VALUE(rhs);
231
232
233
234
235
236
237
238
239
            // This is a binary operation: lhs_val op rhs_val
            // We need to be careful to handle overflow; see CERT INT32-C
            // Operations that can overflow:
            //      +       result always fits in machine_int_t, then handled by SMALL_INT check
            //      -       result always fits in machine_int_t, then handled by SMALL_INT check
            //      *       checked explicitly
            //      /       if lhs=MIN and rhs=-1; result always fits in machine_int_t, then handled by SMALL_INT check
            //      %       if lhs=MIN and rhs=-1; result always fits in machine_int_t, then handled by SMALL_INT check
            //      <<      checked explicitly
240
            switch (op) {
Damien George's avatar
Damien George committed
241
242
243
244
245
246
247
248
                case MP_BINARY_OP_OR:
                case MP_BINARY_OP_INPLACE_OR: lhs_val |= rhs_val; break;
                case MP_BINARY_OP_XOR:
                case MP_BINARY_OP_INPLACE_XOR: lhs_val ^= rhs_val; break;
                case MP_BINARY_OP_AND:
                case MP_BINARY_OP_INPLACE_AND: lhs_val &= rhs_val; break;
                case MP_BINARY_OP_LSHIFT:
                case MP_BINARY_OP_INPLACE_LSHIFT: {
249
250
                    if (rhs_val < 0) {
                        // negative shift not allowed
251
                        nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError, "negative shift count"));
252
253
254
255
256
257
258
259
260
261
                    } else if (rhs_val >= BITS_PER_WORD || lhs_val > (MP_SMALL_INT_MAX >> rhs_val) || lhs_val < (MP_SMALL_INT_MIN >> rhs_val)) {
                        // left-shift will overflow, so use higher precision integer
                        lhs = mp_obj_new_int_from_ll(lhs_val);
                        goto generic_binary_op;
                    } else {
                        // use standard precision
                        lhs_val <<= rhs_val;
                    }
                    break;
                }
Damien George's avatar
Damien George committed
262
263
                case MP_BINARY_OP_RSHIFT:
                case MP_BINARY_OP_INPLACE_RSHIFT:
264
265
                    if (rhs_val < 0) {
                        // negative shift not allowed
266
                        nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError, "negative shift count"));
267
268
269
270
271
                    } else {
                        // standard precision is enough for right-shift
                        lhs_val >>= rhs_val;
                    }
                    break;
Damien George's avatar
Damien George committed
272
273
274
275
276
277
                case MP_BINARY_OP_ADD:
                case MP_BINARY_OP_INPLACE_ADD: lhs_val += rhs_val; break;
                case MP_BINARY_OP_SUBTRACT:
                case MP_BINARY_OP_INPLACE_SUBTRACT: lhs_val -= rhs_val; break;
                case MP_BINARY_OP_MULTIPLY:
                case MP_BINARY_OP_INPLACE_MULTIPLY: {
278
279
280

                    // If long long type exists and is larger than machine_int_t, then
                    // we can use the following code to perform overflow-checked multiplication.
281
                    // Otherwise (eg in x64 case) we must use mp_small_int_mul_overflow.
282
283
284
285
286
287
288
289
290
291
292
293
                    #if 0
                    // compute result using long long precision
                    long long res = (long long)lhs_val * (long long)rhs_val;
                    if (res > MP_SMALL_INT_MAX || res < MP_SMALL_INT_MIN) {
                        // result overflowed SMALL_INT, so return higher precision integer
                        return mp_obj_new_int_from_ll(res);
                    } else {
                        // use standard precision
                        lhs_val = (mp_small_int_t)res;
                    }
                    #endif

294
295
296
297
298
299
300
301
                    if (mp_small_int_mul_overflow(lhs_val, rhs_val)) {
                        // use higher precision
                        lhs = mp_obj_new_int_from_ll(lhs_val);
                        goto generic_binary_op;
                    } else {
                        // use standard precision
                        return MP_OBJ_NEW_SMALL_INT(lhs_val * rhs_val);
                    }
302
303
                    break;
                }
Damien George's avatar
Damien George committed
304
305
                case MP_BINARY_OP_FLOOR_DIVIDE:
                case MP_BINARY_OP_INPLACE_FLOOR_DIVIDE:
306
307
308
                    if (rhs_val == 0) {
                        goto zero_division;
                    }
309
                    lhs_val = mp_small_int_floor_divide(lhs_val, rhs_val);
310
                    break;
311

312
                #if MICROPY_ENABLE_FLOAT
Damien George's avatar
Damien George committed
313
                case MP_BINARY_OP_TRUE_DIVIDE:
314
315
                case MP_BINARY_OP_INPLACE_TRUE_DIVIDE:
                    if (rhs_val == 0) {
316
                        goto zero_division;
317
318
                    }
                    return mp_obj_new_float((mp_float_t)lhs_val / (mp_float_t)rhs_val);
319
                #endif
320

Damien George's avatar
Damien George committed
321
                case MP_BINARY_OP_MODULO:
322
323
                case MP_BINARY_OP_INPLACE_MODULO: {
                    lhs_val = mp_small_int_modulo(lhs_val, rhs_val);
324
325
                    break;
                }
326

Damien George's avatar
Damien George committed
327
328
                case MP_BINARY_OP_POWER:
                case MP_BINARY_OP_INPLACE_POWER:
329
330
331
332
333
                    if (rhs_val < 0) {
                        #if MICROPY_ENABLE_FLOAT
                        lhs = mp_obj_new_float(lhs_val);
                        goto generic_binary_op;
                        #else
334
                        nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError, "negative power with no float support"));
335
336
337
338
339
                        #endif
                    } else {
                        machine_int_t ans = 1;
                        while (rhs_val > 0) {
                            if (rhs_val & 1) {
340
                                if (mp_small_int_mul_overflow(ans, lhs_val)) {
341
342
                                    goto power_overflow;
                                }
343
                                ans *= lhs_val;
344
345
346
                            }
                            if (rhs_val == 1) {
                                break;
347
348
                            }
                            rhs_val /= 2;
349
                            if (mp_small_int_mul_overflow(lhs_val, lhs_val)) {
350
351
                                goto power_overflow;
                            }
352
                            lhs_val *= lhs_val;
353
                        }
354
                        lhs_val = ans;
355
                    }
356
                    break;
357
358
359
360
361
362

                power_overflow:
                    // use higher precision
                    lhs = mp_obj_new_int_from_ll(MP_OBJ_SMALL_INT_VALUE(lhs));
                    goto generic_binary_op;

Damien George's avatar
Damien George committed
363
364
365
366
                case MP_BINARY_OP_LESS: return MP_BOOL(lhs_val < rhs_val); break;
                case MP_BINARY_OP_MORE: return MP_BOOL(lhs_val > rhs_val); break;
                case MP_BINARY_OP_LESS_EQUAL: return MP_BOOL(lhs_val <= rhs_val); break;
                case MP_BINARY_OP_MORE_EQUAL: return MP_BOOL(lhs_val >= rhs_val); break;
367

368
369
                default:
                    goto unsupported_op;
370
            }
371
372
            // TODO: We just should make mp_obj_new_int() inline and use that
            if (MP_OBJ_FITS_SMALL_INT(lhs_val)) {
373
                return MP_OBJ_NEW_SMALL_INT(lhs_val);
374
375
            } else {
                return mp_obj_new_int(lhs_val);
376
            }
377
#if MICROPY_ENABLE_FLOAT
378
        } else if (MP_OBJ_IS_TYPE(rhs, &mp_type_float)) {
379
380
381
382
383
384
            mp_obj_t res = mp_obj_float_binary_op(op, lhs_val, rhs);
            if (res == MP_OBJ_NULL) {
                goto unsupported_op;
            } else {
                return res;
            }
385
        } else if (MP_OBJ_IS_TYPE(rhs, &mp_type_complex)) {
386
387
388
389
390
391
            mp_obj_t res = mp_obj_complex_binary_op(op, lhs_val, 0, rhs);
            if (res == MP_OBJ_NULL) {
                goto unsupported_op;
            } else {
                return res;
            }
392
#endif
393
        }
394
    }
395

396
    /* deal with `in`
397
398
     *
     * NOTE `a in b` is `b.__contains__(a)`, hence why the generic dispatch
Damien George's avatar
Damien George committed
399
     * needs to go below with swapped arguments
400
     */
Damien George's avatar
Damien George committed
401
    if (op == MP_BINARY_OP_IN) {
402
403
404
        mp_obj_type_t *type = mp_obj_get_type(rhs);
        if (type->binary_op != NULL) {
            mp_obj_t res = type->binary_op(op, rhs, lhs);
405
            if (res != MP_OBJ_NOT_SUPPORTED) {
406
                return res;
John R. Lenton's avatar
John R. Lenton committed
407
            }
408
409
410
411
        }
        if (type->getiter != NULL) {
            /* second attempt, walk the iterator */
            mp_obj_t next = NULL;
Damien George's avatar
Damien George committed
412
            mp_obj_t iter = mp_getiter(rhs);
413
            while ((next = mp_iternext(iter)) != MP_OBJ_STOP_ITERATION) {
414
                if (mp_obj_equal(next, lhs)) {
415
                    return mp_const_true;
John R. Lenton's avatar
John R. Lenton committed
416
                }
417
            }
418
            return mp_const_false;
419
420
        }

421
        nlr_raise(mp_obj_new_exception_msg_varg(
422
                     &mp_type_TypeError, "'%s' object is not iterable",
423
424
425
426
                     mp_obj_get_type_str(rhs)));
        return mp_const_none;
    }

427
    // generic binary_op supplied by type
428
429
430
    mp_obj_type_t *type;
generic_binary_op:
    type = mp_obj_get_type(lhs);
431
432
    if (type->binary_op != NULL) {
        mp_obj_t result = type->binary_op(op, lhs, rhs);
433
        if (result != MP_OBJ_NOT_SUPPORTED) {
434
            return result;
Damien's avatar
Damien committed
435
436
        }
    }
437

438
439
    // TODO implement dispatch for reverse binary ops

John R. Lenton's avatar
John R. Lenton committed
440
    // TODO specify in error message what the operator is
441
unsupported_op:
442
    nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError,
John R. Lenton's avatar
John R. Lenton committed
443
444
        "unsupported operand types for binary operator: '%s', '%s'",
        mp_obj_get_type_str(lhs), mp_obj_get_type_str(rhs)));
445
    return mp_const_none;
446
447

zero_division:
448
    nlr_raise(mp_obj_new_exception_msg(&mp_type_ZeroDivisionError, "division by zero"));
Damien's avatar
Damien committed
449
450
}

Damien George's avatar
Damien George committed
451
452
mp_obj_t mp_call_function_0(mp_obj_t fun) {
    return mp_call_function_n_kw(fun, 0, 0, NULL);
453
454
}

Damien George's avatar
Damien George committed
455
456
mp_obj_t mp_call_function_1(mp_obj_t fun, mp_obj_t arg) {
    return mp_call_function_n_kw(fun, 1, 0, &arg);
457
458
}

Damien George's avatar
Damien George committed
459
mp_obj_t mp_call_function_2(mp_obj_t fun, mp_obj_t arg1, mp_obj_t arg2) {
460
    mp_obj_t args[2];
461
462
    args[0] = arg1;
    args[1] = arg2;
Damien George's avatar
Damien George committed
463
    return mp_call_function_n_kw(fun, 2, 0, args);
464
465
}

466
467
// wrapper that accepts n_args and n_kw in one argument
// native emitter can only pass at most 3 arguments to a function
Damien George's avatar
Damien George committed
468
469
mp_obj_t mp_call_function_n_kw_for_native(mp_obj_t fun_in, uint n_args_kw, const mp_obj_t *args) {
    return mp_call_function_n_kw(fun_in, n_args_kw & 0xff, (n_args_kw >> 8) & 0xff, args);
470
471
}

472
// args contains, eg: arg0  arg1  key0  value0  key1  value1
Damien George's avatar
Damien George committed
473
mp_obj_t mp_call_function_n_kw(mp_obj_t fun_in, uint n_args, uint n_kw, const mp_obj_t *args) {
474
475
    // TODO improve this: fun object can specify its type and we parse here the arguments,
    // passing to the function arrays of fixed and keyword arguments
476

477
478
    DEBUG_OP_printf("calling function %p(n_args=%d, n_kw=%d, args=%p)\n", fun_in, n_args, n_kw, args);

479
480
481
482
483
484
    // get the type
    mp_obj_type_t *type = mp_obj_get_type(fun_in);

    // do the call
    if (type->call != NULL) {
        return type->call(fun_in, n_args, n_kw, args);
485
    } else {
486
        nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object is not callable", mp_obj_get_type_str(fun_in)));
487
    }
488
489
}

490
491
// args contains: fun  self/NULL  arg(0)  ...  arg(n_args-2)  arg(n_args-1)  kw_key(0)  kw_val(0)  ... kw_key(n_kw-1)  kw_val(n_kw-1)
// if n_args==0 and n_kw==0 then there are only fun and self/NULL
Damien George's avatar
Damien George committed
492
mp_obj_t mp_call_method_n_kw(uint n_args, uint n_kw, const mp_obj_t *args) {
493
494
    DEBUG_OP_printf("call method (fun=%p, self=%p, n_args=%u, n_kw=%u, args=%p)\n", args[0], args[1], n_args, n_kw, args);
    int adjust = (args[1] == NULL) ? 0 : 1;
Damien George's avatar
Damien George committed
495
    return mp_call_function_n_kw(args[0], n_args + adjust, n_kw, args + 2 - adjust);
496
497
}

498
mp_obj_t mp_call_method_n_kw_var(bool have_self, uint n_args_n_kw, const mp_obj_t *args) {
499
500
501
502
503
504
505
    mp_obj_t fun = *args++;
    mp_obj_t self = MP_OBJ_NULL;
    if (have_self) {
        self = *args++; // may be MP_OBJ_NULL
    }
    uint n_args = n_args_n_kw & 0xff;
    uint n_kw = (n_args_n_kw >> 8) & 0xff;
506
507
    mp_obj_t pos_seq = args[n_args + 2 * n_kw]; // map be MP_OBJ_NULL
    mp_obj_t kw_dict = args[n_args + 2 * n_kw + 1]; // map be MP_OBJ_NULL
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582

    DEBUG_OP_printf("call method var (fun=%p, self=%p, n_args=%u, n_kw=%u, args=%p, seq=%p, dict=%p)\n", fun, self, n_args, n_kw, args, pos_seq, kw_dict);

    // We need to create the following array of objects:
    //     args[0 .. n_args]  unpacked(pos_seq)  args[n_args .. n_args + 2 * n_kw]  unpacked(kw_dict)
    // TODO: optimize one day to avoid constructing new arg array? Will be hard.

    // The new args array
    mp_obj_t *args2;
    uint args2_alloc;
    uint args2_len = 0;

    // Try to get a hint for the size of the kw_dict
    uint kw_dict_len = 0;
    if (kw_dict != MP_OBJ_NULL && MP_OBJ_IS_TYPE(kw_dict, &mp_type_dict)) {
        kw_dict_len = mp_obj_dict_len(kw_dict);
    }

    // Extract the pos_seq sequence to the new args array.
    // Note that it can be arbitrary iterator.
    if (pos_seq == MP_OBJ_NULL) {
        // no sequence

        // allocate memory for the new array of args
        args2_alloc = 1 + n_args + 2 * (n_kw + kw_dict_len);
        args2 = m_new(mp_obj_t, args2_alloc);

        // copy the self
        if (self != MP_OBJ_NULL) {
            args2[args2_len++] = self;
        }

        // copy the fixed pos args
        m_seq_copy(args2 + args2_len, args, n_args, mp_obj_t);
        args2_len += n_args;

    } else if (MP_OBJ_IS_TYPE(pos_seq, &mp_type_tuple) || MP_OBJ_IS_TYPE(pos_seq, &mp_type_list)) {
        // optimise the case of a tuple and list

        // get the items
        uint len;
        mp_obj_t *items;
        mp_obj_get_array(pos_seq, &len, &items);

        // allocate memory for the new array of args
        args2_alloc = 1 + n_args + len + 2 * (n_kw + kw_dict_len);
        args2 = m_new(mp_obj_t, args2_alloc);

        // copy the self
        if (self != MP_OBJ_NULL) {
            args2[args2_len++] = self;
        }

        // copy the fixed and variable position args
        m_seq_cat(args2 + args2_len, args, n_args, items, len, mp_obj_t);
        args2_len += n_args + len;

    } else {
        // generic iterator

        // allocate memory for the new array of args
        args2_alloc = 1 + n_args + 2 * (n_kw + kw_dict_len) + 3;
        args2 = m_new(mp_obj_t, args2_alloc);

        // copy the self
        if (self != MP_OBJ_NULL) {
            args2[args2_len++] = self;
        }

        // copy the fixed position args
        m_seq_copy(args2 + args2_len, args, n_args, mp_obj_t);

        // extract the variable position args from the iterator
        mp_obj_t iterable = mp_getiter(pos_seq);
        mp_obj_t item;
583
        while ((item = mp_iternext(iterable)) != MP_OBJ_STOP_ITERATION) {
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
            if (args2_len >= args2_alloc) {
                args2 = m_renew(mp_obj_t, args2, args2_alloc, args2_alloc * 2);
                args2_alloc *= 2;
            }
            args2[args2_len++] = item;
        }
    }

    // The size of the args2 array now is the number of positional args.
    uint pos_args_len = args2_len;

    // Copy the fixed kw args.
    m_seq_copy(args2 + args2_len, args + n_args, 2 * n_kw, mp_obj_t);
    args2_len += 2 * n_kw;

    // Extract (key,value) pairs from kw_dict dictionary and append to args2.
    // Note that it can be arbitrary iterator.
    if (kw_dict == MP_OBJ_NULL) {
        // pass
    } else if (MP_OBJ_IS_TYPE(kw_dict, &mp_type_dict)) {
        // dictionary
        mp_map_t *map = mp_obj_dict_get_map(kw_dict);
        assert(args2_len + 2 * map->used <= args2_alloc); // should have enough, since kw_dict_len is in this case hinted correctly above
        for (uint i = 0; i < map->alloc; i++) {
            if (map->table[i].key != MP_OBJ_NULL) {
                args2[args2_len++] = map->table[i].key;
                args2[args2_len++] = map->table[i].value;
            }
        }
    } else {
        // generic mapping
        // TODO is calling 'items' on the mapping the correct thing to do here?
        mp_obj_t dest[2];
        mp_load_method(kw_dict, MP_QSTR_items, dest);
        mp_obj_t iterable = mp_getiter(mp_call_method_n_kw(0, 0, dest));
        mp_obj_t item;
620
        while ((item = mp_iternext(iterable)) != MP_OBJ_STOP_ITERATION) {
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
            if (args2_len + 1 >= args2_alloc) {
                uint new_alloc = args2_alloc * 2;
                if (new_alloc < 4) {
                    new_alloc = 4;
                }
                args2 = m_renew(mp_obj_t, args2, args2_alloc, new_alloc);
                args2_alloc = new_alloc;
            }
            mp_obj_t *items;
            mp_obj_get_array_fixed_n(item, 2, &items);
            args2[args2_len++] = items[0];
            args2[args2_len++] = items[1];
        }
    }

    mp_obj_t res = mp_call_function_n_kw(fun, pos_args_len, (args2_len - pos_args_len) / 2, args2);
    m_del(mp_obj_t, args2, args2_alloc);

    return res;
}

642
// unpacked items are stored in reverse order into the array pointed to by items
Damien George's avatar
Damien George committed
643
void mp_unpack_sequence(mp_obj_t seq_in, uint num, mp_obj_t *items) {
644
    uint seq_len;
645
    if (MP_OBJ_IS_TYPE(seq_in, &mp_type_tuple) || MP_OBJ_IS_TYPE(seq_in, &mp_type_list)) {
646
        mp_obj_t *seq_items;
647
        if (MP_OBJ_IS_TYPE(seq_in, &mp_type_tuple)) {
648
649
650
            mp_obj_tuple_get(seq_in, &seq_len, &seq_items);
        } else {
            mp_obj_list_get(seq_in, &seq_len, &seq_items);
651
        }
652
        if (seq_len < num) {
653
            goto too_short;
654
        } else if (seq_len > num) {
655
            goto too_long;
656
        }
657
658
659
        for (uint i = 0; i < num; i++) {
            items[i] = seq_items[num - 1 - i];
        }
660
    } else {
Damien George's avatar
Damien George committed
661
        mp_obj_t iterable = mp_getiter(seq_in);
662
663

        for (seq_len = 0; seq_len < num; seq_len++) {
Damien George's avatar
Damien George committed
664
            mp_obj_t el = mp_iternext(iterable);
665
            if (el == MP_OBJ_STOP_ITERATION) {
666
667
668
669
                goto too_short;
            }
            items[num - 1 - seq_len] = el;
        }
670
        if (mp_iternext(iterable) != MP_OBJ_STOP_ITERATION) {
671
672
            goto too_long;
        }
673
    }
674
675
676
    return;

too_short:
677
    nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_ValueError, "need more than %d values to unpack", seq_len));
678
too_long:
679
    nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_ValueError, "too many values to unpack (expected %d)", num));
680
681
}

682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
// unpacked items are stored in reverse order into the array pointed to by items
void mp_unpack_ex(mp_obj_t seq_in, uint num_in, mp_obj_t *items) {
    uint num_left = num_in & 0xff;
    uint num_right = (num_in >> 8) & 0xff;
    DEBUG_OP_printf("unpack ex %d %d\n", num_left, num_right);
    uint seq_len;
    if (MP_OBJ_IS_TYPE(seq_in, &mp_type_tuple) || MP_OBJ_IS_TYPE(seq_in, &mp_type_list)) {
        mp_obj_t *seq_items;
        if (MP_OBJ_IS_TYPE(seq_in, &mp_type_tuple)) {
            mp_obj_tuple_get(seq_in, &seq_len, &seq_items);
        } else {
            if (num_left == 0 && num_right == 0) {
                // *a, = b # sets a to b if b is a list
                items[0] = seq_in;
                return;
            }
            mp_obj_list_get(seq_in, &seq_len, &seq_items);
        }
        if (seq_len < num_left + num_right) {
            goto too_short;
        }
        for (uint i = 0; i < num_right; i++) {
            items[i] = seq_items[seq_len - 1 - i];
        }
        items[num_right] = mp_obj_new_list(seq_len - num_left - num_right, seq_items + num_left);
        for (uint i = 0; i < num_left; i++) {
            items[num_right + 1 + i] = seq_items[num_left - 1 - i];
        }
    } else {
        // Generic iterable; this gets a bit messy: we unpack known left length to the
        // items destination array, then the rest to a dynamically created list.  Once the
        // iterable is exhausted, we take from this list for the right part of the items.
        // TODO Improve to waste less memory in the dynamically created list.
        mp_obj_t iterable = mp_getiter(seq_in);
        mp_obj_t item;
        for (seq_len = 0; seq_len < num_left; seq_len++) {
            item = mp_iternext(iterable);
719
            if (item == MP_OBJ_STOP_ITERATION) {
720
721
722
723
724
                goto too_short;
            }
            items[num_left + num_right + 1 - 1 - seq_len] = item;
        }
        mp_obj_t rest = mp_obj_new_list(0, NULL);
725
        while ((item = mp_iternext(iterable)) != MP_OBJ_STOP_ITERATION) {
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
            mp_obj_list_append(rest, item);
        }
        uint rest_len;
        mp_obj_t *rest_items;
        mp_obj_list_get(rest, &rest_len, &rest_items);
        if (rest_len < num_right) {
            goto too_short;
        }
        items[num_right] = rest;
        for (uint i = 0; i < num_right; i++) {
            items[num_right - 1 - i] = rest_items[rest_len - num_right + i];
        }
        mp_obj_list_set_len(rest, rest_len - num_right);
    }
    return;

too_short:
    nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_ValueError, "need more than %d values to unpack", seq_len));
}

746
mp_obj_t mp_load_attr(mp_obj_t base, qstr attr) {
747
    DEBUG_OP_printf("load attr %p.%s\n", base, qstr_str(attr));
748
    // use load_method
749
    mp_obj_t dest[2];
750
751
    mp_load_method(base, attr, dest);
    if (dest[1] == MP_OBJ_NULL) {
752
        // load_method returned just a normal attribute
753
        return dest[0];
754
755
756
    } else {
        // load_method returned a method, so build a bound method object
        return mp_obj_new_bound_meth(dest[0], dest[1]);
Damien's avatar
Damien committed
757
758
759
    }
}

760
761
762
// no attribute found, returns:     dest[0] == MP_OBJ_NULL, dest[1] == MP_OBJ_NULL
// normal attribute found, returns: dest[0] == <attribute>, dest[1] == MP_OBJ_NULL
// method attribute found, returns: dest[0] == <method>,    dest[1] == <self>
Damien George's avatar
Damien George committed
763
void mp_load_method_maybe(mp_obj_t base, qstr attr, mp_obj_t *dest) {
764
765
766
767
768
769
770
    // clear output to indicate no attribute/method found yet
    dest[0] = MP_OBJ_NULL;
    dest[1] = MP_OBJ_NULL;

    // get the type
    mp_obj_type_t *type = mp_obj_get_type(base);

Damien George's avatar
Damien George committed
771
772
    // look for built-in names
    if (0) {
773
#if MICROPY_CPYTHON_COMPAT
Damien George's avatar
Damien George committed
774
775
776
    } else if (attr == MP_QSTR___class__) {
        // a.__class__ is equivalent to type(a)
        dest[0] = type;
777
#endif
Damien George's avatar
Damien George committed
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809

    } else if (attr == MP_QSTR___next__ && type->iternext != NULL) {
        dest[0] = (mp_obj_t)&mp_builtin_next_obj;
        dest[1] = base;

    } else if (type->load_attr != NULL) {
        // this type can do its own load, so call it
        type->load_attr(base, attr, dest);

    } else if (type->locals_dict != NULL) {
        // generic method lookup
        // this is a lookup in the object (ie not class or type)
        assert(MP_OBJ_IS_TYPE(type->locals_dict, &mp_type_dict)); // Micro Python restriction, for now
        mp_map_t *locals_map = mp_obj_dict_get_map(type->locals_dict);
        mp_map_elem_t *elem = mp_map_lookup(locals_map, MP_OBJ_NEW_QSTR(attr), MP_MAP_LOOKUP);
        if (elem != NULL) {
            // check if the methods are functions, static or class methods
            // see http://docs.python.org/3.3/howto/descriptor.html
            if (MP_OBJ_IS_TYPE(elem->value, &mp_type_staticmethod)) {
                // return just the function
                dest[0] = ((mp_obj_static_class_method_t*)elem->value)->fun;
            } else if (MP_OBJ_IS_TYPE(elem->value, &mp_type_classmethod)) {
                // return a bound method, with self being the type of this object
                dest[0] = ((mp_obj_static_class_method_t*)elem->value)->fun;
                dest[1] = mp_obj_get_type(base);
            } else if (mp_obj_is_callable(elem->value)) {
                // return a bound method, with self being this object
                dest[0] = elem->value;
                dest[1] = base;
            } else {
                // class member is a value, so just return that value
                dest[0] = elem->value;
Damien's avatar
Damien committed
810
811
            }
        }
812
    }
813
814
}

Damien George's avatar
Damien George committed
815
void mp_load_method(mp_obj_t base, qstr attr, mp_obj_t *dest) {
816
817
    DEBUG_OP_printf("load method %p.%s\n", base, qstr_str(attr));

Damien George's avatar
Damien George committed
818
    mp_load_method_maybe(base, attr, dest);
819

820
    if (dest[0] == MP_OBJ_NULL) {
821
822
        // no attribute/method called attr
        // following CPython, we give a more detailed error message for type objects
823
        if (MP_OBJ_IS_TYPE(base, &mp_type_type)) {
824
            nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_AttributeError,
825
                "type object '%s' has no attribute '%s'", qstr_str(((mp_obj_type_t*)base)->name), qstr_str(attr)));
826
        } else {
827
            nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_AttributeError, "'%s' object has no attribute '%s'", mp_obj_get_type_str(base), qstr_str(attr)));
828
829
        }
    }
830
831
}

Damien George's avatar
Damien George committed
832
void mp_store_attr(mp_obj_t base, qstr attr, mp_obj_t value) {
Damien's avatar
Damien committed
833
    DEBUG_OP_printf("store attr %p.%s <- %p\n", base, qstr_str(attr), value);
834
835
836
837
838
    mp_obj_type_t *type = mp_obj_get_type(base);
    if (type->store_attr != NULL) {
        if (type->store_attr(base, attr, value)) {
            return;
        }
839
    }
840
    nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_AttributeError, "'%s' object has no attribute '%s'", mp_obj_get_type_str(base), qstr_str(attr)));
841
842
}

Damien George's avatar
Damien George committed
843
mp_obj_t mp_getiter(mp_obj_t o_in) {
844
845
846
    mp_obj_type_t *type = mp_obj_get_type(o_in);
    if (type->getiter != NULL) {
        return type->getiter(o_in);
847
    } else {
848
        // check for __iter__ method
849
        mp_obj_t dest[2];
Damien George's avatar
Damien George committed
850
        mp_load_method_maybe(o_in, MP_QSTR___iter__, dest);
851
        if (dest[0] != MP_OBJ_NULL) {
852
            // __iter__ exists, call it and return its result
Damien George's avatar
Damien George committed
853
            return mp_call_method_n_kw(0, 0, dest);
854
        } else {
Damien George's avatar
Damien George committed
855
            mp_load_method_maybe(o_in, MP_QSTR___getitem__, dest);
856
857
858
859
860
            if (dest[0] != MP_OBJ_NULL) {
                // __getitem__ exists, create an iterator
                return mp_obj_new_getitem_iter(dest);
            } else {
                // object not iterable
861
                nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object is not iterable", mp_obj_get_type_str(o_in)));
862
            }
863
        }
864
865
    }
}
866

867
// may return MP_OBJ_STOP_ITERATION as an optimisation instead of raise StopIteration()
868
// may also raise StopIteration()
Damien George's avatar
Damien George committed
869
mp_obj_t mp_iternext_allow_raise(mp_obj_t o_in) {
870
871
872
    mp_obj_type_t *type = mp_obj_get_type(o_in);
    if (type->iternext != NULL) {
        return type->iternext(o_in);
873
    } else {
874
875
        // check for __next__ method
        mp_obj_t dest[2];
Damien George's avatar
Damien George committed
876
        mp_load_method_maybe(o_in, MP_QSTR___next__, dest);
877
878
        if (dest[0] != MP_OBJ_NULL) {
            // __next__ exists, call it and return its result
Damien George's avatar
Damien George committed
879
            return mp_call_method_n_kw(0, 0, dest);
880
        } else {
881
            nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object is not an iterator", mp_obj_get_type_str(o_in)));
882
        }
883
884
885
    }
}

886
// will always return MP_OBJ_STOP_ITERATION instead of raising StopIteration() (or any subclass thereof)
887
// may raise other exceptions
Damien George's avatar
Damien George committed
888
mp_obj_t mp_iternext(mp_obj_t o_in) {
889
890
891
892
893
894
    mp_obj_type_t *type = mp_obj_get_type(o_in);
    if (type->iternext != NULL) {
        return type->iternext(o_in);
    } else {
        // check for __next__ method
        mp_obj_t dest[2];
Damien George's avatar
Damien George committed
895
        mp_load_method_maybe(o_in, MP_QSTR___next__, dest);
896
897
898
899
        if (dest[0] != MP_OBJ_NULL) {
            // __next__ exists, call it and return its result
            nlr_buf_t nlr;
            if (nlr_push(&nlr) == 0) {
Damien George's avatar
Damien George committed
900
                mp_obj_t ret = mp_call_method_n_kw(0, 0, dest);
901
902
903
904
                nlr_pop();
                return ret;
            } else {
                if (mp_obj_is_subclass_fast(mp_obj_get_type(nlr.ret_val), &mp_type_StopIteration)) {
905
                    return MP_OBJ_STOP_ITERATION;
906
                } else {
907
                    nlr_raise(nlr.ret_val);
908
909
910
                }
            }
        } else {
911
            nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object is not an iterator", mp_obj_get_type_str(o_in)));
912
913
914
915
        }
    }
}

916
917
// TODO: Unclear what to do with StopIterarion exception here.
mp_vm_return_kind_t mp_resume(mp_obj_t self_in, mp_obj_t send_value, mp_obj_t throw_value, mp_obj_t *ret_val) {
918
    assert((send_value != MP_OBJ_NULL) ^ (throw_value != MP_OBJ_NULL));
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
    mp_obj_type_t *type = mp_obj_get_type(self_in);

    if (type == &mp_type_gen_instance) {
        return mp_obj_gen_resume(self_in, send_value, throw_value, ret_val);
    }

    if (type->iternext != NULL && send_value == mp_const_none) {
        mp_obj_t ret = type->iternext(self_in);
        if (ret != MP_OBJ_NULL) {
            *ret_val = ret;
            return MP_VM_RETURN_YIELD;
        } else {
            // Emulate raise StopIteration()
            // Special case, handled in vm.c
            *ret_val = MP_OBJ_NULL;
            return MP_VM_RETURN_NORMAL;
        }
    }

    mp_obj_t dest[3]; // Reserve slot for send() arg

    if (send_value == mp_const_none) {
        mp_load_method_maybe(self_in, MP_QSTR___next__, dest);
        if (dest[0] != MP_OBJ_NULL) {
            *ret_val = mp_call_method_n_kw(0, 0, dest);
            return MP_VM_RETURN_YIELD;
        }
    }

    if (send_value != MP_OBJ_NULL) {
        mp_load_method(self_in, MP_QSTR_send, dest);
        dest[2] = send_value;
        *ret_val = mp_call_method_n_kw(1, 0, dest);
        return MP_VM_RETURN_YIELD;
    }

    if (throw_value != MP_OBJ_NULL) {
        if (mp_obj_is_subclass_fast(mp_obj_get_type(throw_value), &mp_type_GeneratorExit)) {
            mp_load_method_maybe(self_in, MP_QSTR_close, dest);
            if (dest[0] != MP_OBJ_NULL) {
                *ret_val = mp_call_method_n_kw(0, 0, dest);
                // We assume one can't "yield" from close()
                return MP_VM_RETURN_NORMAL;
            }
        }
964
965
966
967
        mp_load_method_maybe(self_in, MP_QSTR_throw, dest);
        if (dest[0] != MP_OBJ_NULL) {
            *ret_val = mp_call_method_n_kw(1, 0, &throw_value);
            // If .throw() method returned, we assume it's value to yield
968
            // - any exception would be thrown with nlr_raise().
969
970
971
972
973
974
975
976
977
            return MP_VM_RETURN_YIELD;
        }
        // If there's nowhere to throw exception into, then we assume that object
        // is just incapable to handle it, so any exception thrown into it
        // will be propagated up. This behavior is approved by test_pep380.py
        // test_delegation_of_close_to_non_generator(),
        //  test_delegating_throw_to_non_generator()
        *ret_val = throw_value;
        return MP_VM_RETURN_EXCEPTION;
978
979
980
981
982
983
    }

    assert(0);
    return MP_VM_RETURN_NORMAL; // Should be unreachable
}

Damien George's avatar
Damien George committed
984
mp_obj_t mp_make_raise_obj(mp_obj_t o) {
985
986
987
988
    DEBUG_printf("raise %p\n", o);
    if (mp_obj_is_exception_type(o)) {
        // o is an exception type (it is derived from BaseException (or is BaseException))
        // create and return a new exception instance by calling o
989
990
        // TODO could have an option to disable traceback, then builtin exceptions (eg TypeError)
        // could have const instances in ROM which we return here instead
Damien George's avatar
Damien George committed
991
        return mp_call_function_n_kw(o, 0, 0, NULL);
992
993
994
995
996
997
    } else if (mp_obj_is_exception_instance(o)) {
        // o is an instance of an exception, so use it as the exception
        return o;
    } else {
        // o cannot be used as an exception, so return a type error (which will be raised by the caller)
        return mp_obj_new_exception_msg(&mp_type_TypeError, "exceptions must derive from BaseException");
998
999
1000
    }
}

For faster browsing, not all history is shown. View entire blame