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

fix: path case-sensitiveness bug

Browse source 
fix: mtshiba/pylyzer#45
This commit is contained in:
Shunsuke Shibayama 2023-07-03 22:30:26 +09:00
parent f93ee691d6
commit 1695587177
2 changed files with 16 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

6
crates/erg_common/lib.rs
View file

@ -155,7 +155,11 @@ pub fn unique_in_place<T: Eq + std::hash::Hash + Clone>(v: &mut Vec<T>) {
/// at least, this is necessary for Windows and macOS
pub fn normalize_path(path: PathBuf) -> PathBuf {
let verbatim_replaced = path.to_str().unwrap().replace("\\\\?\\", "");
let lower = verbatim_replaced.to_lowercase();
let lower = if cfg!(windows) {
verbatim_replaced.to_lowercase()
} else {
verbatim_replaced
};
PathBuf::from(lower)
}