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

Update io.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-12-28 15:10:41 +09:00
parent a2d1809cee
commit 360c381b34
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
crates/erg_common/io.rs
View file

@ -97,6 +97,9 @@ impl InputKind {
if let Self::File(path) = self { if let Self::File(path) = self {
let mut path = path.clone(); let mut path = path.clone();
path.pop(); path.pop();
if path.ends_with("__pycache__") {
path.pop();
}
if path.parent().is_none() { if path.parent().is_none() {
PathBuf::from(".") PathBuf::from(".")
} else { } else {