mirror of
https://github.com/erg-lang/erg.git
synced 2025-08-04 02:39:20 +00:00
chore: add erg_common::io
module
This commit is contained in:
parent
324618dbdc
commit
d75ac0c17b
20 changed files with 787 additions and 749 deletions
|
@ -1,5 +1,5 @@
|
|||
use erg_common::config::Input;
|
||||
use erg_common::error::{ErrorCore, ErrorKind::*, Location, SubMessage};
|
||||
use erg_common::io::Input;
|
||||
use erg_common::switch_lang;
|
||||
|
||||
use crate::error::*;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue