fix(repl): Better handle Ctrl-C, Ctrl-D

buzz-language · May 13, 2024 · fd9e5a4 · fd9e5a4
1 parent 93bc16f
commit fd9e5a4
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/src/linenoise.zig b/src/linenoise.zig
@@ -13,7 +13,7 @@ pub const linenoiseCompletions = extern struct {
 };
 
 // Blocking API.
-pub extern fn linenoise(prompt: [*:0]const u8) [*:0]const u8;
+pub extern fn linenoise(prompt: [*:0]const u8) ?[*:0]const u8;
 
 // Completion API.
 pub const linenoiseCompletionCallback = fn ([*:0]const u8, *linenoiseCompletions) void;

diff --git a/src/repl.zig b/src/repl.zig
@@ -162,7 +162,12 @@ pub fn repl(allocator: std.mem.Allocator) !void {
     var previous_type_registry = try gc.type_registry.registry.clone();
     while (true) {
         const read_source = ln.linenoise("> ");
-        const source = std.mem.span(read_source);
+
+        if (read_source == null) {
+            std.process.exit(0);
+        }
+
+        const source = std.mem.span(read_source.?);
 
         _ = ln.linenoiseHistoryAdd(source);
         _ = ln.linenoiseHistorySave(@ptrCast(buzz_history_path.items.ptr));