80 Commits

Author	SHA1	Message	Date
Jeff Epler	5ddc551bc4	py/compile: Reject *arg after keyword argument. ... Document this in cpydiff and add a test with expected output for coverage testing. As discussed in #11441, the code growth from handling this case seems to outweigh the benefit of implementing it properly. Closes: #11439 Signed-off-by: Jeff Epler <jepler@unpythonic.net>	2026-04-15 15:40:15 +10:00
Jeff Epler	e29bcdcb7b	tests/cpydiff: Add test file for annotation expressions. ... Document the behavior on expression annotations rejected by CPython but accepted by MicroPython. Closes issue #19031. Signed-off-by: Jeff Epler <jepler@unpythonic.net>	2026-04-07 14:45:09 +10:00
Jeff Epler	2631b0614c	tests/cpydiff: Add a section for throwing incomplete exceptions. ... Signed-off-by: Jeff Epler <jepler@unpythonic.net>	2026-02-26 16:15:54 +11:00
Jeff Epler	4963ae72bf	tests/cpydiff: Document unsupported float format with grouping char. ... Signed-off-by: Jeff Epler <jepler@unpythonic.net>	2025-10-06 15:11:04 +11:00
Angus Gratton	3ec8b9a77c	all: Replace legacy name with MicroPython and MPy as applicable. ... With the aim of getting consistency, and removing the need to learn an additional term, replace uses of uPy/uPython with MPy/MicroPython. Rule of thumb was to use "MPy" abbreviation where "CPy" is used nearby, but the full word MicroPython otherwise. This work was funded through GitHub Sponsors. Signed-off-by: Angus Gratton <angus@redyak.com.au>	2025-10-04 00:19:40 +10:00
Jeff Epler	7be82f8b7c	tests: Test extremes of range() and document differences to CPython. ... This avoids remaining buggy cases where C signed overflow occurs. Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-09-26 13:34:55 +10:00
Anson Mansfield	2327972947	tests/cpydiff: Test for PEP487 __init_subclass__. ... This commit documents and verifies the current absence of `__init_subclass__` functionality, in anticipation of a possible future PEP487 'metaclasses lite' patch. The main `core_class_initsubclass.py` test verifies if the method is automatically called, while the other three verify other orthogonal properties it should have: if the method is an implicit classmethod; if MicroPython supplies the base case for the usual recursive function body the PEP encourages; and if kwargs inheritance parameters work correctly. Signed-off-by: Anson Mansfield <amansfield@mantaro.com>	2025-09-11 11:49:12 +10:00
Anson Mansfield	52d25928d5	tests/cpydiff: Document ENOTSUP vs EOPNOTSUPP. ... Signed-off-by: Anson Mansfield <amansfield@mantaro.com>	2025-09-11 11:21:14 +10:00
Anson Mansfield	8e6cd4b58e	tests/cpydiff: Document lack of OSError errno subtype mapping. ... Signed-off-by: Anson Mansfield <amansfield@mantaro.com>	2025-09-11 11:18:43 +10:00
Damien George	947d5448b4	tests/cpydiff: Remove passing types_float_rounding test. ... Since commit dbbaa959c8, this test now produces the same output on MicroPython as CPython does, namely -1e+01. Signed-off-by: Damien George <damien@micropython.org>	2025-08-01 11:13:12 +10:00
Damien George	7729e80fdd	all: Go back to using default ruff quote style. ... Commit dc2fcfcc55 seems to have accidentally changed the ruff quote style to "preserve", instead of keeping it at the default which is "double". Put it back to the default and update relevant .py files with this rule. Signed-off-by: Damien George <damien@micropython.org>	2025-07-24 12:48:18 +10:00
Yoctopuce dev	66c0148022	py/runtime: Add support for using __all__ in star import. ... When the symbol `__all__` is defined in a module, `mp_import_all()` should import all listed symbols into the global environment, rather than relying on the underscore-is-private default. This is the standard in CPython. Each item is loaded in the same way as if it would be an explicit import statement, and will invoke the module's `__getattr__` function if needed. This provides a straightforward solution for fixing star import of modules using a dynamic loader, such as `extmod/asyncio` (see issue #7266). This improvement has been enabled at BASIC_FEATURES level, to avoid impacting devices with limited ressources, for which star import is of little use anyway. Additionally, detailled reporting of errors during `__all__` import has been implemented to match CPython, but this is only enabled when ERROR_REPORTING is set to MICROPY_ERROR_REPORTING_DETAILED. Signed-off-by: Yoctopuce dev <dev@yoctopuce.com>	2025-06-23 16:05:12 +10:00
Jeff Epler	5901b8d149	tests/cpydiff: Document complex() parsing difference. ... In #17384 it was decided that fixing this difference was not worth the code size increase. So document it instead. Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-06-16 23:34:34 +10:00
Jeff Epler	ea19f3b735	tests/cpydiff: Ensure all have two levels of category. ... This improves the TOC display of the generated differences section. Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-05-16 11:52:03 +10:00
Jeff Epler	8648e6d1cf	tests/cpydiff: Add test of underscore-in-literals. ... Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-05-16 11:52:03 +10:00
Jeff Epler	2f97d1dd28	tests/cpydiff: Document that uPy requires space after number+period. ... Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-05-16 11:51:43 +10:00
Jeff Epler	e22c666d06	tests/cpydiff: Explain the numeric literal parsing difference. ... Fixes issue #17224. Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-05-16 11:45:18 +10:00
Jeff Epler	f77fd6257c	tests/cpydiff: Document format separator difference. ... Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-05-13 12:19:46 +10:00
Angus Gratton	e9a80fc9a0	tests/cpydiff: Remove types_str_endswith. ... MicroPython support for this behaviour was added in eb45d97898. This work was funded through GitHub Sponsors. Signed-off-by: Angus Gratton <angus@redyak.com.au>	2025-04-07 16:10:05 +10:00
Angus Gratton	57f1e60dd0	tests/cpydiff: Update CPy diff for assign expr in nested comprehensions. ... Since 7c1584aef1 MicroPython matches CPython in most cases, aside from nested comprehensions. This work was funded through GitHub Sponsors. Signed-off-by: Angus Gratton <angus@redyak.com.au>	2025-04-07 15:43:03 +10:00
Damien George	994751c251	tests/cpydiff: Remove builtin_next_arg2.py difference. ... Because 2-arg `next()` is implemented, and now enabled at the basic feature level. Signed-off-by: Damien George <damien@micropython.org>	2025-03-27 11:52:29 +11:00
Christian Clauss	dc2fcfcc55	all: Upgrade to ruff v0.9.6. ... Signed-off-by: Christian Clauss <cclauss@me.com>	2025-02-25 13:02:49 +01:00
Jeff Epler	3844733d60	tests/cpydiff: Fix test case for modules_json_nonserializable. ... The test case was producing the following error: Traceback (most recent call last): File "<stdin>", line 12, in <module> UnicodeError: which did not demonstrate the intended difference (this particular non-json-serializable object DID throw an exception! just not TypeError). The updated test uses a byte string with all ASCII bytes inside, which better illustrates the diference. Signed-off-by: Jeff Epler <jepler@gmail.com>	2024-11-11 12:35:03 +11:00
David Lechner	d1bf0eeb0f	tests/cpydiff: Add diff for overriding __init__. ... This adds a CPython diff that explains why calling `super().__init__()` is required in MicroPython when subclassing a native type (because `__new__` and `__init__` are not separate functions). Signed-off-by: David Lechner <david@pybricks.com>	2024-07-25 12:01:43 +10:00
Angus Gratton	908ab1ceca	py/objint: Fix int.to_bytes() buffer size checks. ... Fixes and improvements to `int.to_bytes()` are: - No longer overflows if byte size is 0 (closes #13041). - Raises OverflowError in any case where number won't fit into byte length (now matches CPython, previously MicroPython would return a truncated bytes object). - Document that `micropython int.to_bytes()` doesn't implement the optional signed kwarg, but will behave as if `signed=True` when the integer is negative (this is the current behaviour). Add tests for this also. Requires changes for small ints, MPZ large ints, and "long long" large ints. Adds a new set of unit tests for ints between 32 and 64 bits to increase coverage of "long long" large ints, which are otherwise untested. Tested on unix port (64 bit small ints, MPZ long ints) and Zephyr STM32WB board (32 bit small ints, long long large ints). This work was funded through GitHub Sponsors. Signed-off-by: Angus Gratton <angus@redyak.com.au>	2024-06-24 14:07:00 +10:00
Damien George	407464348d	tests/cpydiff: Remove deque difference test. ... Because `collections.deque` is now a built-in type in MicroPython. Signed-off-by: Damien George <damien@micropython.org>	2024-06-21 14:35:43 +10:00
Damien George	3c8089d1b1	py/lexer: Support raw f-strings. ... Support for raw str/bytes already exists, and extending that to raw f-strings is easy. It also reduces code size because it eliminates an error message. Signed-off-by: Damien George <damien@micropython.org>	2024-06-06 17:34:28 +10:00
Damien George	a066f2308f	py/lexer: Support concatenation of adjacent f-strings. ... This is quite a simple and small change to support concatenation of adjacent f-strings, and improve compatibility with CPython. Signed-off-by: Damien George <damien@micropython.org>	2024-06-06 14:58:46 +10:00
Angus Gratton	6877987002	tests/cpydiff: Add a note about risk of resizing memoryview targets. ... This a stop-gap until there is a proper fix for this. This work was funded through GitHub Sponsors. Signed-off-by: Angus Gratton <angus@redyak.com.au>	2024-04-22 11:51:18 +10:00
Trent Warlaven	3deeabe6e8	tests/cpydiff: Add new CPy diff test for class name mangling. ... Adds new tests/documentation for missing name mangling for private class members. Signed-off-by: Trent Warlaven <trwbox@gmail.com>	2024-02-21 11:42:35 +11:00
Jared Hancock	b3cd41dd4b	py/lexer: Allow conversion specifiers in f-strings (e.g. !r). ... PEP-498 allows for conversion specifiers like !r and !s to convert the expression declared in braces to be passed through repr() and str() respectively. This updates the logic that detects the end of the expression to also stop when it sees "![rs]" that is either at the end of the f-string or before the ":" indicating the start of the format specifier. The "![rs]" is now retained in the format string, whereas previously it stayed on the end of the expression leading to a syntax error. Previously: `f"{x!y:z}"` --> `"{:z}".format(x!y)` Now: `f"{x!y:z}"` --> `"{!y:z}".format(x)` Note that "!a" is not supported by `str.format` as MicroPython has no `ascii()`, but now this will raise the correct error. Updated cpydiff and added tests. Signed-off-by: Jim Mussared <jim.mussared@gmail.com>	2023-06-14 19:11:04 +10:00
David Grayson	a79a6ab364	py/builtinimport: Remove partially-loaded modules from sys.modules. ... Prior to this commit, importing a module that exists but has a syntax error or some other problem that happens at import time would result in a potentially-incomplete module object getting added to sys.modules. Subsequent imports would use that object, resulting in confusing error messages that hide the root cause of the problem. This commit fixes that issue by removing the failed module from sys.modules using the new NLR callback mechanism. Note that it is still important to add the module to sys.modules while the import is happening so that we can support circular imports just like CPython does. Fixes issue #967. Signed-off-by: David Grayson <davidegrayson@gmail.com>	2023-06-05 23:21:52 +10:00
Damien George	b1229efbd1	all: Fix spelling mistakes based on codespell check. ... Signed-off-by: Damien George <damien@micropython.org>	2023-04-27 18:03:06 +10:00
David Lechner	958f748e53	unix/moduos: Implement 2-arg version of os.getenv(). ... This adds the `default` argument of `os.getenv(key, default=None)`. Signed-off-by: David Lechner <david@pybricks.com>	2022-12-14 13:38:39 +11:00
Damien George	963e599ec0	tests/cpydiff: Fix formatting of code snippet to use double quotes. ... Signed-off-by: Damien George <damien@micropython.org>	2022-07-29 12:23:05 +10:00
Andrew Leech	1e87b56219	py/obj: Add support for __float__ and __complex__ functions.	2022-07-25 14:23:34 +10:00
David Lechner	783b1a868f	py/runtime: Allow multiple *args in a function call. ... This is a partial implementation of PEP 448 to allow unpacking multiple star args in a function or method call. This is implemented by changing the emitted bytecodes so that both positional args and star args are stored as positional args. A bitmap is added to indicate if an argument at a given position is a positional argument or a star arg. In the generated code, this new bitmap takes the place of the old star arg. It is stored as a small int, so this means only the first N arguments can be star args where N is the number of bits in a small int. The runtime is modified to interpret this new bytecode format while still trying to perform as few memory reallocations as possible. Signed-off-by: David Lechner <david@pybricks.com>	2022-03-31 16:59:30 +11:00
Damien George	ab2923dfa1	all: Update Python formatting to latest Black version 22.1.0. ... Signed-off-by: Damien George <damien@micropython.org>	2022-02-02 16:49:55 +11:00
Jim Mussared	e99f7b6d25	tests/cpydiff: Clarify f-string diffs regarding concatenation. ... Concatenation of any literals (including f-strings) should be avoided. Signed-off-by: Jim Mussared <jim.mussared@gmail.com>	2021-11-25 22:09:59 +11:00
Damien George	11ed94797d	py/lexer: Support nested [] and {} characters within f-string params. ... Signed-off-by: Damien George <damien@micropython.org>	2021-11-25 21:50:58 +11:00
Jim Mussared	692d36d779	py: Implement partial PEP-498 (f-string) support. ... This implements (most of) the PEP-498 spec for f-strings and is based on https://github.com/micropython/micropython/pull/4998 by @klardotsh. It is implemented in the lexer as a syntax translation to `str.format`: f"{a}" --> "{}".format(a) It also supports: f"{a=}" --> "a={}".format(a) This is done by extracting the arguments into a temporary vstr buffer, then after the string has been tokenized, the lexer input queue is saved and the contents of the temporary vstr buffer are injected into the lexer instead. There are four main limitations: - raw f-strings (`fr` or `rf` prefixes) are not supported and will raise `SyntaxError: raw f-strings are not supported`. - literal concatenation of f-strings with adjacent strings will fail "{}" f"{a}" --> "{}{}".format(a) (str.format will incorrectly use the braces from the non-f-string) f"{a}" f"{a}" --> "{}".format(a) "{}".format(a) (cannot concatenate) - PEP-498 requires the full parser to understand the interpolated argument, however because this entirely runs in the lexer it cannot resolve nested braces in expressions like f"{'}'}" - The !r, !s, and !a conversions are not supported. Includes tests and cpydiffs. Signed-off-by: Jim Mussared <jim.mussared@gmail.com>	2021-08-14 16:58:40 +10:00
David Lechner	cd506d6220	tests/cpydiff/modules_struct_whitespace_in_format: Run black. ... This test snuck through without proper formatting and is causing CI for other unrelated changes to fail. Signed-off-by: David Lechner <david@pybricks.com>	2021-07-06 18:19:55 -05:00
Tom McDermott	c1f74b3005	docs/library: Warn that ustruct doesn't handle spaces in format strings. ... And also add a test to capture the CPython difference.	2021-07-06 14:59:50 +10:00
Zoltán Vörös	c4ed17ff34	tests/cpydiff: Add test for array constructor with overflowing value.	2021-06-13 10:30:14 +10:00
Macarthur Inbody	34d4dab683	extmod/modurandom: Add error message when getrandbits has bad value. ... The random module's getrandbits() method didn't give a proper error message when calling it with a value that was outside of the range of 1-32, which can lead to confusion using this function (which under CPython can accept numbers larger than 32). Now instead of simply giving a ValueError it gives an error message that states that the number of bits is constrained. Also, since the random module's functions getrandbits() and randint() differ from CPython, tests have been added to describe these differences. For getrandbits the relevant documentation is shown and added to the docs. The same is given for randint method so that the information is more easily found. Finally, since the int object lacks the bit_length() method there is a test for that method also to include within the docs, showing the difference to CPython.	2021-05-30 16:41:30 +10:00
Damien George	47e6c52f0c	tests/cpydiff: Add test and workaround for function.__module__ attr. ... MicroPython does not store any reference from a function object to the module it was defined in, but there is a way to use function.__globals__ to indirectly get the module. See issue #7259. Signed-off-by: Damien George <damien@micropython.org>	2021-05-16 11:06:46 +10:00
stijn	57365d8557	py/objarray: Prohibit comparison of mismatching types. ... Array equality is defined as each element being equal but to keep code size down MicroPython implements a binary comparison. This can only be used correctly for elements with the same binary layout though so turn it into an NotImplementedError when comparing types for which the binary comparison yielded incorrect results: types with different sizes, and floating point numbers because nan != nan.	2021-05-13 22:16:14 +10:00
Damien George	3c4bfd1dec	py/objexcept: Support errno attribute on OSError exceptions. ... This commit adds the errno attribute to exceptions, so code can retrieve errno codes from an OSError using exc.errno. The implementation here simply lets `errno` (and the existing `value`) attributes work on any exception instance (they both alias args[0]). This is for efficiency and to keep code size down. The pros and cons of this are: Pros: - more compatible with CPython, less difference to document and learn - OSError().errno will correctly return None, whereas the current way of doing it via OSError().args[0] will raise an IndexError - it reduces code size on most bare-metal ports (because they already have the errno qstr) - for Python code that uses exc.errno the generated bytecode is 2 bytes smaller and more efficient to execute (compared with exc.args[0]); so bytecode loaded to RAM saves 2 bytes RAM for each use of this attribute, and bytecode that is frozen saves 2 bytes flash/ROM for each use - it's easier/shorter to type, and saves 2 bytes of space in .py files that use it (for each use) Cons: - increases code size by 4-8 bytes on minimal ports that don't already have the `errno` qstr - all exceptions now have .errno and .value attributes (a cpydiff test is added to address this) See also #2407. Signed-off-by: Damien George <damien@micropython.org>	2021-04-23 22:03:46 +10:00
Damien George	a3c89cf907	tests/cpydiff: Add CPy diff test for assignment expression behaviour.	2020-06-16 22:06:47 +10:00
Jim Mussared	309c19d39b	tests/cpydiff: Add cpydiff test for __all__ used in imported package.	2020-05-02 17:41:04 +10:00