diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-11-24 13:34:17 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-11-24 13:34:17 +0000 |
commit | a7f53b079b5469c10fc964fedb91e324e4a93914 (patch) | |
tree | 9331609260b27e0935d44d3283c42e9f2a5c1b4f /src | |
parent | 87e87a45e22ddc55cdf0beb1b154abd8c590abe5 (diff) | |
download | verismith-a7f53b079b5469c10fc964fedb91e324e4a93914.tar.gz verismith-a7f53b079b5469c10fc964fedb91e324e4a93914.zip |
Show the result as it is run
Diffstat (limited to 'src')
-rw-r--r-- | src/Verismith/Fuzz.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Verismith/Fuzz.hs b/src/Verismith/Fuzz.hs index 226f368..82507a8 100644 --- a/src/Verismith/Fuzz.hs +++ b/src/Verismith/Fuzz.hs @@ -258,12 +258,12 @@ toSimResult sima bs as b = (applyList (applyList (SimResult <$> as) (repeat sima)) (repeat bs))) $ fmap swap b -toolRun :: (MonadIO m, MonadSh m) => Text -> m a -> m (NominalDiffTime, a) +toolRun :: (MonadIO m, MonadSh m, Show a) => Text -> m a -> m (NominalDiffTime, a) toolRun t m = do logT $ "Running " <> t - (diff, res) <- timeit m - logT $ "Finished " <> t <> " (" <> showT diff <> ")" - return (diff, res) + s <- timeit m + logT $ "Finished " <> t <> " (" <> showT s <> ")" + return s equivalence :: (MonadBaseControl IO m, MonadSh m) => SourceInfo -> Fuzz m () equivalence src = do |