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

Implement module compatibility checking

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-10-19 17:21:37 +09:00
parent f8dc56b1be
commit 87170f9bb3
19 changed files with 397 additions and 247 deletions
Download patch file Download diff file Expand all files Collapse all files

21
compiler/erg_common/python_util.rs
View file

@ -5,8 +5,27 @@ use std::process::Command;
use crate::serialize::get_magic_num_from_bytes;
pub const BUILTIN_PYTHON_MODS: [&str; 12] = [
#[cfg(unix)]
pub const BUILTIN_PYTHON_MODS: [&str; 14] = [
"glob",
"http",
"importlib",
"io",
"math",
"os",
"posix",
"random",
"re",
"socket",
"subprocess",
"sys",
"time",
"urllib",
];
#[cfg(not(unix))]
pub const BUILTIN_PYTHON_MODS: [&str; 13] = [
"glob",
"http",
"importlib",
"io",
"math",