Sulkta-Coop/agora
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

use LF as record separator in bench.csv

Browse source
This commit is contained in:
Hongrui Fang 2022-06-22 00:14:37 +08:00
parent e84edb0955
commit 5cd8d0c51f
No known key found for this signature in database
GPG key ID: 1C4711FFF64C0254
2 changed files with 44 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

9
agora-bench/Main.hs
View file

@ -1,7 +1,7 @@
module Main (main) where
import Bench (specificationTreeToBenchmarks)
import Data.Csv (encodeDefaultOrderedByName)
import Data.Csv (EncodeOptions (encUseCrLf), defaultEncodeOptions, encodeDefaultOrderedByNameWith)
import Data.Text.Lazy.Encoding (decodeUtf8)
import Data.Text.Lazy.IO as I (writeFile)
import Options (Options (..), parseOptions)
@ -24,10 +24,15 @@ main = do
options <- parseOptions
I.writeFile options.output $
(decodeUtf8 . encodeDefaultOrderedByName) res
(decodeUtf8 . encodeDefaultOrderedByNameWith encodeOptions) res
mapM_ (putStrLn . renderString . layoutPretty defaultLayoutOptions . pretty) res
where
encodeOptions =
defaultEncodeOptions
{ encUseCrLf = False
}
res =
specificationTreeToBenchmarks $
group