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

feat(els): suggest external python libs

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-06-21 20:09:07 +09:00
parent 798f22afa4
commit 7ba874a85c
2 changed files with 111 additions and 29 deletions
Download patch file Download diff file Expand all files Collapse all files

18
crates/erg_common/python_util.rs
View file

@ -530,6 +530,24 @@ pub const BUILTIN_PYTHON_MODS: [&str; 165] = [
"zlib",
"zoneinfo",
];
pub const EXT_PYTHON_MODS: [&str; 7] = [
"matplotlib",
"numpy",
"pandas",
"requests",
"setuptools",
"tqdm",
"urllib3",
];
pub const EXT_COMMON_ALIAS: [&str; 7] = [
"mpl",
"np",
"pd",
"requests",
"setuptools",
"tqdm",
"urllib3",
];
pub fn opt_which_python() -> Result<String, String> {
let (cmd, python) = if cfg!(windows) {