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

Add string module

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-10-21 11:24:23 +09:00
parent f99c788b85
commit 1356ce399b
5 changed files with 28 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

6
compiler/erg_common/python_util.rs
View file

@ -6,7 +6,7 @@ use std::process::Command;
use crate::serialize::get_magic_num_from_bytes;
#[cfg(unix)]
pub const BUILTIN_PYTHON_MODS: [&str; 19] = [
pub const BUILTIN_PYTHON_MODS: [&str; 20] = [
"datetime",
"glob",
"http",
@ -20,6 +20,7 @@ pub const BUILTIN_PYTHON_MODS: [&str; 19] = [
"re",
"shutil",
"socket",
"string",
"subprocess",
"sys",
"tarfile",
@ -28,7 +29,7 @@ pub const BUILTIN_PYTHON_MODS: [&str; 19] = [
"zipfile",
];
#[cfg(not(unix))]
pub const BUILTIN_PYTHON_MODS: [&str; 18] = [
pub const BUILTIN_PYTHON_MODS: [&str; 19] = [
"datetime",
"glob",
"http",
@ -41,6 +42,7 @@ pub const BUILTIN_PYTHON_MODS: [&str; 18] = [
"re",
"shutil",
"socket",
"string",
"subprocess",
"sys",
"tarfile",