diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-17 11:41:38 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-17 11:41:38 +0000 |
| commit | 0ea6e208f2c3c41922f8334174fc8e81a21d67f4 (patch) | |
| tree | 3c4889aff5a85f58f7d4db296d7f2f26b8ad031f /src/VeriFuzz/General.hs | |
| parent | 08b2b306ae1accfa0b84dc3d327ba54add10a284 (diff) | |
| download | verismith-0ea6e208f2c3c41922f8334174fc8e81a21d67f4.tar.gz verismith-0ea6e208f2c3c41922f8334174fc8e81a21d67f4.zip | |
Brittany formatting
Diffstat (limited to 'src/VeriFuzz/General.hs')
| -rw-r--r-- | src/VeriFuzz/General.hs | 15 |
1 files changed, 6 insertions, 9 deletions
diff --git a/src/VeriFuzz/General.hs b/src/VeriFuzz/General.hs index e99b117..6a09db5 100644 --- a/src/VeriFuzz/General.hs +++ b/src/VeriFuzz/General.hs @@ -63,19 +63,16 @@ bsToI = B.foldl' (\i b -> (i `shiftL` 8) + fromIntegral b) 0 {-# INLINE bsToI #-} noPrint :: Sh a -> Sh a -noPrint = - print_stdout False . print_stderr False +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 + 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 +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 |