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

feat: add unsound module

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-10-15 02:30:05 +09:00
parent fc75151f2a
commit 08770e84fc
9 changed files with 130 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/erg_common/io.rs
View file

@ -502,6 +502,8 @@ impl Input {
.canonicalize()
{
Some(normalize_path(path))
} else if path == Path::new("unsound") {
Some(PathBuf::from("unsound"))
} else {
None
}