Eric Wieser

Suggestion: Ignore B006 if the variable in question is immediately copied

14

I would argue that these two functions: ```python def foo(x=[]): x = list(x) x.reverse() return x def bar(x={}): x = dict(x) x.pop('k', None) return x ``` are far more readable...

bpo-39610: Raise TypeError for len(memoryview_0d)

2

This makes `memoryview.__len__` consistent with `memoryview.__getitem__`. https://bugs.python.org/issue39610 (#83791)

bpo-32780: Fix the PEP3118 format string for ctypes.Structure

10

The summary of this diff is that it: * adds a `_ctypes_alloc_format_padding` function to append strings like `37x` to a format string to indicate 37 padding bytes * removes the...

The top google result for "determine sprintf buffer size" is https://stackoverflow.com/a/3923207/102441, which advocates code along the lines of ```C int size = snprintf(NULL, 0, "%d", 132); char * a =...

bpo-32782: PEP3118 itemsize of an empty ctypes array should not be 0

24

The itemsize should be computed from the item type, not by dividing the total size by the length and assuming that the length is not zero. https://bugs.python.org/issue32782 (fixes #76963)

lean: correctly parse expressions nested within attributes

1

This mirrors the syntax fix made in https://github.com/leanprover/vscode-lean/pull/265

Assertion failure in local_context_adapter.cpp

1

### Prerequisites * [X] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover-community/lean/issues). *...

### Prerequisites * [x] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover-community/lean/issues). *...

feat(?): Better support for prod in well_founded

1

This is an attempt at following up on https://leanprover.zulipchat.com/#narrow/stream/113489-new-members/topic/Well.20founded.20definition/near/205105727, which noted that the following didn't work without extra encouragement: ```lean def test : list ℕ × list ℕ → list...

Add module_info.get_all

2

The motivation here is to teach doc-gen about empty `default.lean` files.