mirror of
https://github.com/erg-lang/erg.git
synced 2025-08-04 18:58:30 +00:00
chore: add New
trait
This commit is contained in:
parent
51c7b0778d
commit
8a793c7d59
12 changed files with 134 additions and 83 deletions
|
@ -3,7 +3,7 @@ use erg_common::consts::DEBUG_MODE;
|
|||
use erg_common::error::MultiErrorDisplay;
|
||||
use erg_common::io::Input;
|
||||
use erg_common::spawn::exec_new_thread;
|
||||
use erg_common::traits::{Runnable, Stream};
|
||||
use erg_common::traits::Stream;
|
||||
|
||||
use erg_parser::error::{ErrorArtifact, ParseWarnings, ParserRunnerErrors};
|
||||
use erg_parser::lex::Lexer;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue