search

erg-lang / erg

A statically typed language compatible with Python
http://erg-lang.org
Apache License 2.0
2.7k stars 55 forks source link

Some decls files are not synchronized with the Python std #424

Closed Hanaasagi closed 1 year ago

Hanaasagi commented 1 year ago

Describe the bug?

Related to https://github.com/mtshiba/pylyzer/issues/28

Mapping is defined in typing, but is not found in erg.

2023-05-07_02-36

Ref: https://docs.python.org/3/library/typing.html#typing.Mapping

Reproducible code

t = pyimport "typing"
t.Mapping

Expected result

No AttributeError

Actual result

AttributeError: PyModule("typing") object has no attribute Mapping

Additional context

No response

Erg version

main branch

Python version

Python3.11

OS

Linux (other distro)