From 31fe8220c187eb22ea70acb996a83681959c0896 Mon Sep 17 00:00:00 2001
From: Aaron Tomb <atomb@galois.com>
Date: Wed, 22 Sep 2021 15:37:22 -0700
Subject: [PATCH] Allow REPL line continuation with \ on Windows

---
 saw/SAWScript/REPL/Haskeline.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/saw/SAWScript/REPL/Haskeline.hs b/saw/SAWScript/REPL/Haskeline.hs
index 182c14caff..bcd43e97d7 100644
--- a/saw/SAWScript/REPL/Haskeline.hs
+++ b/saw/SAWScript/REPL/Haskeline.hs
@@ -66,7 +66,7 @@ repl mbBatch opts begin =
       Nothing -> return ()
 
   getInputLines prompt ls =
-    do mb <- getInputLine prompt
+    do mb <- fmap (filter (/= '\r')) <$> getInputLine prompt
        let newPrompt = map (\_ -> ' ') prompt
        case mb of
           Nothing -> return Nothing