Merge pull request #1465 from GaloisInc/at-windows-backslash

Allow REPL line continuation with \ on Windows
GaloisInc · Sep 23, 2021 · a57d679 · a57d679
2 parents 03f663a + 969d4e0
commit a57d679
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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