-
-
Notifications
You must be signed in to change notification settings - Fork 1.9k
Closed
Description
Hi,
There is an issue with gdb/events.pyi being imported incorrectly. The gdb-stubs/__init__.pyi file should do an from .events import * because the gdb module should see the gdb.NewObjFileEvent type.
Without this, for a simple file like this:
# cat x.py
import gdb
x: gdb.NewObjFileEvent = 1We get the following issue:
# ./.venv/bin/python3 -m mypy x.py
x.py:3: error: Name "gdb.NewObjFileEvent" is not defined [name-defined]
x: gdb.NewObjFileEvent = 1
^
Found 1 error in 1 file (checked 1 source file)
Which should not be there.
Here are the versions I tested this on:
# ./.venv/bin/python3 -m pip freeze | egrep -e 'types-gdb|mypy'
mypy==1.3.0
mypy-extensions==1.0.0
types-gdb==12.1.4.5
And here is a proof that this type should be available from the gdb module:
# gdb --quiet --nx --batch --ex 'pi import gdb; print(gdb.NewObjFileEvent)'
<class 'gdb.NewObjFileEvent'>
And here is the GDB version I tested this on:
# gdb --version
GNU gdb (Ubuntu 12.1-0ubuntu1~22.04) 12.1
Metadata
Metadata
Assignees
Labels
No labels