1.1 --- a/lib/native/__init__.py Sun Feb 12 23:24:42 2017 +0100
1.2 +++ b/lib/native/__init__.py Mon Feb 13 18:54:59 2017 +0100
1.3 @@ -23,7 +23,8 @@
1.4
1.5 from native.identity import is_, is_not
1.6
1.7 -from native.int import int_add, int_div, int_mod, int_mul, int_neg, int_pow, \
1.8 +from native.int import int_new, \
1.9 + int_add, int_div, int_mod, int_mul, int_neg, int_pow, \
1.10 int_sub, int_and, int_not, int_or, int_xor, int_lt, \
1.11 int_gt, int_eq, int_ne, int_str
1.12
1.13 @@ -42,8 +43,8 @@
1.14
1.15 from native.program import get_using
1.16
1.17 -from native.str import str_add, str_chr, str_eq, str_gt, str_lt, str_len, \
1.18 - str_nonempty, str_ord, str_substr
1.19 +from native.str import str_add, str_chr, str_eq, str_gt, str_lt, \
1.20 + str_ord, str_substr
1.21
1.22 from native.system import exit, get_argv, get_path
1.23