[ change ] Remove removeNewlines

jiangsy · Nov 17, 2024 · 6f28973 · 6f28973
1 parent 2848df7
commit 6f28973
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 25 deletions.
diff --git a/lib/js/src/State/State__Response.bs.js b/lib/js/src/State/State__Response.bs.js
diff --git a/src/State/State__Response.res b/src/State/State__Response.res
@@ -5,8 +5,6 @@ let indent = (content, indent) => {
   let indentation = String.repeat(" ", indent)
   content->String.replaceRegExp(%re("/\n/g"), "\n" ++ indentation) // should also handles CR LF on Windows
 }
-// does this function really do anything?
-let removeNewlines = string => string->String.split("\n")->Array.join("\n")
 
 open Response
 module DisplayInfo = {
@@ -207,14 +205,12 @@ let rec handle = async (
       }
     | DisplayInfo(info) => await DisplayInfo.handle(state, info)
     | RunningInfo(1, message) =>
-      let message = removeNewlines(message)
       await State.View.Panel.displayInAppendMode(
         state,
         Plain("Type-checking"),
         [Item.plainText(message)],
       )
     | RunningInfo(verbosity, message) =>
-      let message = removeNewlines(message)
       state.runningInfoLog->Array.push((verbosity, message))->ignore
       await State.View.DebugBuffer.displayInAppendMode([(verbosity, message)])
     | CompleteHighlightingAndMakePromptReappear =>