Merge pull request #4876 from melted/idemode_win

Fix CRLF encoding of idemode commands on windows.

src/Idris/Output.hs

@@ -311,7 +311,7 @@ iputStr :: String -> Idris ()
 iputStr s = do i <- getIState
                case idris_outputmode i of
                    RawOutput h  -> runIO $ hPutStr h s
-                   IdeMode n h -> runIO . hPutStr h $ convSExp "write-string" s n
+                   IdeMode n h -> runIO . hPutStrLn h $ convSExp "write-string" s n
 
 idemodePutSExp :: SExpable a => String -> a -> Idris ()
 idemodePutSExp cmd info = do i <- getIState

src/Idris/REPL.hs

@@ -256,6 +256,7 @@ idemodeStart :: Bool -> IState -> [FilePath] -> Idris ()
 idemodeStart s orig mods
   = do h <- runIO $ if s then initIdemodeSocket else return stdout
        setIdeMode True h
+       runIO $ hSetNewlineMode h (NewlineMode { inputNL = CRLF, outputNL = LF })
        i <- getIState
        case idris_outputmode i of
          IdeMode n h ->