From b73be6919ea2d6ecbf729126eb2885aeeef864b4 Mon Sep 17 00:00:00 2001
From: Alex van de Sandt <alex@avandesa.dev>
Date: Thu, 16 May 2024 19:42:50 -0400
Subject: [PATCH] Support exiting the repl

---
 src/runners/repl.rs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/runners/repl.rs b/src/runners/repl.rs
index a09e1e2..1bf22fc 100644
--- a/src/runners/repl.rs
+++ b/src/runners/repl.rs
@@ -24,6 +24,11 @@ pub fn run_repl() -> Result<()> {
         let line = line
             .into_diagnostic()
             .wrap_err("failed to read line from stdin")?;
+
+        if line == "exit" || line == "\u{04}" {
+            return Ok(());
+        };
+
         let tokens = match scan(&line) {
             Ok(tokens) => tokens,
             Err(errors) => {
-- 
2.51.2