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: add VirtualFileSystem

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-09-15 18:04:12 +09:00
parent 27ad6123da
commit f7900f4774
6 changed files with 147 additions and 63 deletions
Download patch file Download diff file Expand all files Collapse all files

1
crates/erg_common/lib.rs
View file

@ -35,6 +35,7 @@ pub mod style;
pub mod traits;
pub mod triple;
pub mod tsort;
pub mod vfs;
use consts::CASE_SENSITIVE;