language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 18:58:30 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update python_util.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2025-01-16 22:29:10 +09:00
parent a6f8724a35
commit da83c8c371
2 changed files with 8 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

9
crates/erg_common/python_util.rs
View file

@ -15,7 +15,8 @@ use crate::random::random;
use crate::serialize::get_magic_num_from_bytes;
#[cfg(unix)]
pub const BUILTIN_PYTHON_MODS: [&str; 177] = [
pub const BUILTIN_PYTHON_MODS: [&str; 178] = [
"__future__",
"abc",
"argparse",
"array",
@ -195,7 +196,8 @@ pub const BUILTIN_PYTHON_MODS: [&str; 177] = [
"zoneinfo",
];
#[cfg(windows)]
pub const BUILTIN_PYTHON_MODS: [&str; 172] = [
pub const BUILTIN_PYTHON_MODS: [&str; 173] = [
"__future__",
"abc",
"argparse",
"array",
@ -370,7 +372,8 @@ pub const BUILTIN_PYTHON_MODS: [&str; 172] = [
"zoneinfo",
];
#[cfg(not(any(windows, unix)))]
pub const BUILTIN_PYTHON_MODS: [&str; 166] = [
pub const BUILTIN_PYTHON_MODS: [&str; 167] = [
"__future__",
"abc",
"argparse",
"array",

2
crates/erg_compiler/lib/pystd/__future__.d.er
View file

@ -18,3 +18,5 @@
mandatory: (Nat, Nat, Nat, Str, Nat) or NoneType,
compiler_flag : Nat,
) -> ._Feature
getOptionalRelease: (self: _Feature) -> (Nat, Nat, Nat, Str, Nat)
getMandatoryRelease: (self: _Feature) -> (Nat, Nat, Nat, Str, Nat)