diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-17 12:37:46 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-17 12:37:46 +0000 |
| commit | 928a54419aeac611555b3c15493db00010cbb46e (patch) | |
| tree | 576f1ca4ba287f03700b9526032126302c0474c1 /src/VeriFuzz/General.hs | |
| parent | 0ea6e208f2c3c41922f8334174fc8e81a21d67f4 (diff) | |
| download | verismith-928a54419aeac611555b3c15493db00010cbb46e.tar.gz verismith-928a54419aeac611555b3c15493db00010cbb46e.zip | |
Indent by 4
Diffstat (limited to 'src/VeriFuzz/General.hs')
| -rw-r--r-- | src/VeriFuzz/General.hs | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/VeriFuzz/General.hs b/src/VeriFuzz/General.hs index 6a09db5..ee230e5 100644 --- a/src/VeriFuzz/General.hs +++ b/src/VeriFuzz/General.hs @@ -46,8 +46,8 @@ class (Simulator a) => Synthesize a where rootPath :: Sh FilePath rootPath = do - current <- pwd - maybe current fromText <$> get_env "VERIFUZZ_ROOT" + current <- pwd + maybe current fromText <$> get_env "VERIFUZZ_ROOT" timeout :: FilePath -> [Text] -> Sh Text timeout = command1 "timeout" ["300"] . toTextIgnore @@ -67,12 +67,12 @@ noPrint = print_stdout False . print_stderr False echoP :: Text -> Sh () echoP t = do - fn <- pwd - echo $ bname fn <> " - " <> t - where bname = T.pack . takeBaseName . T.unpack . toTextIgnore + fn <- pwd + echo $ bname fn <> " - " <> t + where bname = T.pack . takeBaseName . T.unpack . toTextIgnore logger :: FilePath -> Text -> Sh a -> Sh a logger fp name = log_stderr_with (l "_log.stderr.txt") . log_stdout_with (l "_log.txt") - where - l s t = appendFile (file s) (T.unpack t) >> appendFile (file s) "\n" - file s = T.unpack (toTextIgnore $ fp </> fromText name) <> s + where + l s t = appendFile (file s) (T.unpack t) >> appendFile (file s) "\n" + file s = T.unpack (toTextIgnore $ fp </> fromText name) <> s |