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

fix: Add display inputs when dummy REPL running

Browse source
This commit is contained in:
GreasrySlug 2023-01-31 09:48:06 +09:00
parent a51031df45
commit 3a49cb6465
1 changed files with 6 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

10
crates/erg_common/config.rs
View file

@ -89,13 +89,15 @@ impl DummyStdin {
}
}
pub fn read_line(&mut self) -> Option<String> {
pub fn read_line(&mut self) -> String {
if self.current_line >= self.lines.len() {
return None;
println!();
return "".to_string();
}
let line = self.lines[self.current_line].clone();
self.current_line += 1;
Some(line)
println!("{line}");
line
}
pub fn reread_lines(&self, ln_begin: usize, ln_end: usize) -> Vec<String> {
@ -244,7 +246,7 @@ impl Input {
}
Self::Pipe(_, s) | Self::Str(_, s) => s.clone(),
Self::REPL(_) => GLOBAL_STDIN.read(),
Self::DummyREPL(dummy) => dummy.read_line().unwrap_or_default(),
Self::DummyREPL(dummy) => dummy.read_line(),
Self::Dummy => panic!("cannot read from a dummy file"),
}
}