Изменил(а) на 'cozo-bin/src/repl.rs'

main
Grigorii Safronov 2 weeks ago
parent ac1298ca7f
commit 6b768f63b3

@ -99,8 +99,9 @@ pub(crate) fn repl_main(args: ReplArgs) -> Result<(), Box<dyn Error>> {
})
.expect("Error setting Ctrl-C handler");
println!("Welcome to the fluidB REPL.");
println!("Welcome to the fluidB REPL");
println!("Type a space followed by newline to enter multiline mode.");
println!("Press 'Ctrl-C' for exit.");
let mut exit = false;
let mut rl = rustyline::Editor::<Indented, DefaultHistory>::new()?;
@ -129,7 +130,7 @@ pub(crate) fn repl_main(args: ReplArgs) -> Result<(), Box<dyn Error>> {
if exit {
break;
} else {
println!("Again to exit");
println!("Press 'Ctrl-C again to exit");
exit = true;
}
}
@ -298,4 +299,4 @@ fn process_line(
process_out(out)?;
}
Ok(())
}
}
Loading…
Cancel
Save