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

Implement Record/TupleTypeSpec

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-10-21 14:42:53 +09:00
parent 9a88266bde
commit b28c6bd118
5 changed files with 83 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

13
compiler/erg_compiler/lib/pystd/platform.d.er Normal file
View file

@ -0,0 +1,13 @@
.architecture!: () => Str
.machine!: () => Str
.node!: () => Str
.platform!: () => Str
.processor!: () => Str
.python_build!: () => Str
.python_compiler!: () => Str
.python_branch!: () => Str
.python_implementation!: () => Str
.python_revision!: () => Str
.python_version!: () => Str
.python_version_tuple!: () => (Str, Str, Str)
.uname!: () => {.system = Str; .node = Str; .release = Str; .version = Str; .machine = Str}