language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-29 12:24:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: enhance matplotlib type defs

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-06-03 12:03:31 +09:00
parent ea132e2345
commit 0b87a49b85
13 changed files with 38 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
crates/erg_compiler/lib/external/numpy.d/__init__.d.er vendored
View file

@ -1,5 +1,6 @@
# TODO: dependent (static shaped)
.NDArray = 'ndarray': ClassType
.NDArray <: Iterable Obj
.NDArray <: Num
.NDArray.
shape: [Nat; _]