language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-27 13:59:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

further improved tips UX, fixed cli.rs assert

Browse source
This commit is contained in:
Anton-4 2022-10-03 15:31:34 +02:00
parent d6b59e7091
commit a46d4fa1c6
No known key found for this signature in database
GPG key ID: A13F4A6E21141925
2 changed files with 29 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

32
crates/repl_cli/src/lib.rs
View file

@ -44,8 +44,29 @@ pub const WELCOME_MESSAGE: &str = concatcp!(
END_COL,
"\n\n"
);
pub const INSTRUCTIONS: &str = "Enter an expression, or :help, or :q to quit.\n";
pub const TIPS: &str = "Everything in the repl needs to be an expression, it needs to return something. See example below: \n\n\n foo = 1 \n\n foo";
// For when nothing is entered in the repl
// TODO add link to repl tutorial(does not yet exist).
pub const SHORT_INSTRUCTIONS: &str = "Enter an expression, or :help, or :q to quit.\n\n";
// TODO add link to repl tutorial(does not yet exist).
pub const TIPS: &str = concatcp!(
BLUE,
" - ",
END_COL,
"Entered code needs to return something. For example:\n\n",
PINK,
" » foo = 1\n … foo\n\n",
END_COL,
BLUE,
" - ",
END_COL,
":q to quit\n\n",
BLUE,
" - ",
END_COL,
":help\n"
);
pub const PROMPT: &str = concatcp!("\n", BLUE, "»", END_COL, " ");
pub const CONT_PROMPT: &str = concatcp!(BLUE, "…", END_COL, " ");
@ -393,7 +414,7 @@ pub fn main() -> io::Result<()> {
// To debug rustyline:
// <UNCOMMENT> env_logger::init();
// <RUN WITH:> RUST_LOG=rustyline=debug cargo run repl 2> debug.log
print!("{}{}{}", WELCOME_MESSAGE, INSTRUCTIONS, TIPS);
print!("{}{}", WELCOME_MESSAGE, TIPS);
let mut prev_line_blank = false;
let mut editor = Editor::<ReplHelper>::new();
@ -416,7 +437,7 @@ pub fn main() -> io::Result<()> {
match trim_line.to_lowercase().as_str() {
"" => {
if pending_src.is_empty() {
print!("\n{}", INSTRUCTIONS);
print!("\n{}", SHORT_INSTRUCTIONS);
} else if prev_line_blank {
// After two blank lines in a row, give up and try parsing it
// even though it's going to fail. This way you don't get stuck.
@ -438,7 +459,8 @@ pub fn main() -> io::Result<()> {
}
}
":help" => {
println!("Use :exit or :quit or :q to exit.");
// TODO add link to repl tutorial(does not yet exist).
println!("Use :q to exit.");
}
":exit" | ":quit" | ":q" => {
break;