feat(tvix/repl): Implement :q, to quit r/8189

Change-Id: Ib3b314b21f4d8c30bfd674e79771179d51d4f2e9
Reviewed-on: https://cl.tvl.fyi/c/depot/+/11736
Autosubmit: aspen <root@gws.fyi>
Reviewed-by: flokli <flokli@flokli.de>
Tested-by: BuildkiteCI

1 files changed, 4 insertions, 0 deletions

diff --git a/tvix/cli/src/repl.rs b/tvix/cli/src/repl.rs
index 7d29ae3d2c83..50c1779b0b68 100644
--- a/tvix/cli/src/repl.rs
+++ b/tvix/cli/src/repl.rs
@@ -18,12 +18,15 @@ fn state_dir() -> Option<PathBuf> {
 pub enum ReplCommand<'a> {
     Expr(&'a str),
     Explain(&'a str),
+    Quit,
 }
 
 impl<'a> ReplCommand<'a> {
     pub fn parse(input: &'a str) -> Self {
         if let Some(without_prefix) = input.strip_prefix(":d ") {
             Self::Explain(without_prefix)
+        } else if input.trim_end() == ":q" {
+            Self::Quit
         } else {
             Self::Expr(input)
         }
@@ -87,6 +90,7 @@ impl Repl {
                     };
 
                     let res = match ReplCommand::parse(input) {
+                        ReplCommand::Quit => break,
                         ReplCommand::Expr(input) => interpret(
                             Rc::clone(&io_handle),
                             input,