From 357e2a4cf6b7bcbaccae3558da673db722aecc25 Mon Sep 17 00:00:00 2001 From: Kamil Shakirov Date: Mon, 15 Feb 2021 18:35:45 +0600 Subject: [PATCH] Use double quotes to display the current working directory --- src/Idris/IDEMode/REPL.idr | 2 +- src/Idris/REPL.idr | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Idris/IDEMode/REPL.idr b/src/Idris/IDEMode/REPL.idr index 616fd5ba7..4bc65ab49 100644 --- a/src/Idris/IDEMode/REPL.idr +++ b/src/Idris/IDEMode/REPL.idr @@ -328,7 +328,7 @@ displayIDEResult outf i (REPL $ NoFileLoaded) = printIDEError outf i $ reflow "No file can be reloaded" displayIDEResult outf i (REPL $ CurrentDirectory dir) = printIDEResult outf i - $ StringAtom $ "Current working directory is '" ++ dir ++ "'" + $ StringAtom $ "Current working directory is \"" ++ dir ++ "\"" displayIDEResult outf i (REPL CompilationFailed) = printIDEError outf i $ reflow "Compilation failed" displayIDEResult outf i (REPL $ Compiled f) diff --git a/src/Idris/REPL.idr b/src/Idris/REPL.idr index 6602dbbee..5d518e261 100644 --- a/src/Idris/REPL.idr +++ b/src/Idris/REPL.idr @@ -1044,7 +1044,7 @@ mutual displayResult (ErrorLoadingFile x err) = printResult (reflow "Error loading file" <++> pretty x <+> colon <++> pretty (show err)) displayResult (ErrorsBuildingFile x errs) = printResult (reflow "Error(s) building file" <++> pretty x) -- messages already displayed while building displayResult NoFileLoaded = printError (reflow "No file can be reloaded") - displayResult (CurrentDirectory dir) = printResult (reflow "Current working directory is" <++> squotes (pretty dir)) + displayResult (CurrentDirectory dir) = printResult (reflow "Current working directory is" <++> dquotes (pretty dir)) displayResult CompilationFailed = printError (reflow "Compilation failed") displayResult (Compiled f) = printResult (pretty "File" <++> pretty f <++> pretty "written") displayResult (ProofFound x) = printResult (prettyTerm x)