1.1 --- a/generator.py Sun Jun 27 22:39:01 2021 +0200
1.2 +++ b/generator.py Mon Jun 28 00:13:11 2021 +0200
1.3 @@ -1202,14 +1202,14 @@
1.4
1.5 # Special-case the integer type.
1.6
1.7 + # Here, the __builtins__.int.new_int function is called with the
1.8 + # initialiser's parameter.
1.9 +
1.10 if path == self.int_type:
1.11 print >>f_code, """\
1.12 -__attr %s(__attr __self, __attr number_or_string)
1.13 +__attr %s(__attr __self, __attr number_or_string, __attr base)
1.14 {
1.15 - if (!__BOOL(__fn_native_int_is_int(__NULL, number_or_string)))
1.16 - __raise_value_error(number_or_string);
1.17 -
1.18 - return number_or_string;
1.19 + return __fn___builtins___int_new_int(__NULL, number_or_string, base);
1.20 }
1.21 """ % (
1.22 encode_instantiator_pointer(path),