From 1ba80224ad98c1748d332dc6a769564dfb94c7d4 Mon Sep 17 00:00:00 2001
From: Jonathan Turner <jonathan.d.turner@gmail.com>
Date: Mon, 9 Aug 2021 17:29:25 +1200
Subject: [PATCH] More gracefully handle reedline errors

---
 src/main.rs | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/src/main.rs b/src/main.rs
index 90bce1d1a..9dddd0071 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -172,9 +172,9 @@ fn main() -> std::io::Result<()> {
         let stack = Stack::new();
 
         loop {
-            let input = line_editor.read_line(&prompt)?;
+            let input = line_editor.read_line(&prompt);
             match input {
-                Signal::Success(s) => {
+                Ok(Signal::Success(s)) => {
                     if s.trim() == "exit" {
                         break;
                     }
@@ -210,15 +210,18 @@ fn main() -> std::io::Result<()> {
                         }
                     }
                 }
-                Signal::CtrlC => {
+                Ok(Signal::CtrlC) => {
                     println!("Ctrl-c");
                 }
-                Signal::CtrlD => {
+                Ok(Signal::CtrlD) => {
                     break;
                 }
-                Signal::CtrlL => {
+                Ok(Signal::CtrlL) => {
                     line_editor.clear_screen()?;
                 }
+                Err(err) => {
+                    println!("Error: {:?}", err);
+                }
             }
             current_line += 1;
         }