From 043f8e8e5578d6c695d8405ab6af0af5eaf75511 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emilio=20L=C3=B3pez?= <emilio.lopez@trailofbits.com>
Date: Fri, 17 Feb 2023 23:25:35 -0300
Subject: [PATCH] Fix emoji output

---
 package.yaml | 2 ++
 src/Main.hs  | 4 +++-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/package.yaml b/package.yaml
index cc815462d..b4796e731 100644
--- a/package.yaml
+++ b/package.yaml
@@ -14,6 +14,7 @@ dependencies:
   - base16-bytestring
   - binary
   - bytestring
+  - code-page
   - containers
   - data-bword
   - data-dword
@@ -42,6 +43,7 @@ dependencies:
   - unordered-containers
   - vector
   - vector-instances
+  - with-utf8
   - word-wrap
   - yaml
 
diff --git a/src/Main.hs b/src/Main.hs
index 974a0bb9d..19cbffb66 100644
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -14,11 +14,13 @@ import Data.Set qualified as Set
 import Data.Text (Text)
 import Data.Time.Clock.System (getSystemTime, systemSeconds)
 import Data.Version (showVersion)
+import Main.Utf8 (withUtf8)
 import Options.Applicative
 import Paths_echidna (version)
 import System.Exit (exitWith, exitSuccess, ExitCode(..))
 import System.FilePath ((</>))
 import System.IO (hPutStrLn, stderr)
+import System.IO.CodePage (withCP65001)
 
 import EVM.Dapp (dappInfo)
 import EVM.Solidity (SolcContract(..))
@@ -37,7 +39,7 @@ import Echidna.Output.Source
 import Echidna.Output.Corpus
 
 main :: IO ()
-main = do
+main = withUtf8 $ withCP65001 $ do
   opts@Options{..} <- execParser optsParser
   g <- getRandomR (0, maxBound)
   EConfigWithUsage loadedCfg ks _ <-