Skip to content

Commit

Permalink
Using with-utf8 so we don't encounter weird utf8 issues anymore
Browse files Browse the repository at this point in the history
  • Loading branch information
msooseth committed Feb 16, 2024
1 parent 9dc261e commit c549aba
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 2 deletions.
1 change: 1 addition & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -36,6 +36,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
- Traces now correctly perform source mapping to display contract details
- Event traces now correctly display indexed arguments and argument names
- JSON reading of foundry JSONs was dependent on locale and did not work with many locales.
- cli.hs now uses with-utf8 so no release binary will have locale issues anymore

## [0.52.0] - 2023-10-26

Expand Down
3 changes: 2 additions & 1 deletion cli/cli.hs
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,7 @@ import Paths_hevm qualified as Paths
import System.Directory (withCurrentDirectory, getCurrentDirectory, doesDirectoryExist, makeAbsolute)
import System.FilePath ((</>))
import System.Exit (exitFailure, exitWith, ExitCode(..))
import Main.Utf8 (withUtf8)

import EVM (initialContract, abstractContract, makeVm)
import EVM.ABI (Sig(..))
Expand Down Expand Up @@ -197,7 +198,7 @@ getFullVersion = showVersion Paths.version <> " [" <> gitVersion <> "]"
Left _ -> "no git revision present"

main :: IO ()
main = do
main = withUtf8 $ do
cmd <- Options.unwrapRecord "hevm -- Ethereum evaluator"
let env = Env { config = defaultConfig
{ dumpQueries = cmd.smtdebug
Expand Down
3 changes: 2 additions & 1 deletion hevm.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -236,7 +236,8 @@ executable hevm
optics-core,
githash >= 0.1.6 && < 0.2,
witch,
unliftio-core
unliftio-core,
with-utf8 >= 1.0.0.0
if os(windows)
buildable: False

Expand Down

0 comments on commit c549aba

Please sign in to comment.