fix print warning function

mattpolzin · Jan 8, 2024 · cd5cf3b · cd5cf3b
1 parent febca2c
commit cd5cf3b
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/src/Main.idr b/src/Main.idr
@@ -38,11 +38,13 @@ printWarning : HasIO io =>
  String 
  -> io ()
 printWarning warning =
- do stderrColors <- isTTY stderr
- if stderrColors
- then ignore $ fPutStrLn stderr . renderString . layoutPretty defaultLayoutOptions . annotate (color Yellow) . pretty $ trim warning
- else ignore $ fPutStrLn stderr warning
- exitFailure
+ if !(isTTY stderr)
+ then do
+ ignore $ fPutStrLn stderr . renderString . layoutPretty defaultLayoutOptions . annotate (color Yellow) . pretty $ trim warning
+ ignore $ fPutStrLn stderr ""
+ else do
+ ignore $ fPutStrLn stderr warning
+ ignore $ fPutStrLn stderr ""
 
 covering
 bashCompletion : HasIO io =>