From 3058af4f05edb6dd1885cd0bae6e3b536b0e0612 Mon Sep 17 00:00:00 2001 From: greg Date: Sun, 19 Jul 2015 17:11:22 -0700 Subject: [PATCH] Break on ctrl-D --- src/main.rs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/main.rs b/src/main.rs index 90f36c4..47e1efc 100644 --- a/src/main.rs +++ b/src/main.rs @@ -38,6 +38,9 @@ fn repl() { let line = stdin.lock().read_line(&mut buf); match line { Ok(_) => { + if buf.is_empty() { + break; + } let tokens = tokenize(&buf); buf.clear(); println!("Tokens: {:?}", tokens);