[ fix ] Set encoding of stderr to utf8

agda · Dec 14, 2023 · 7b5d33d · 7b5d33d
1 parent f685bda
commit 7b5d33d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/app/Main.hs b/app/Main.hs
@@ -16,6 +16,7 @@ main = do
   -- https://github.com/agda/agda-language-server/issues/24
   hSetEncoding stdout utf8
   hSetEncoding stdin utf8
+  hSetEncoding stderr utf8
 
   -- The GitHub CI-built executable lacks the correct data directory path.
   -- If there's directory named "data" in the executable's directory,