From a7f53b079b5469c10fc964fedb91e324e4a93914 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 24 Nov 2019 13:34:17 +0000 Subject: Show the result as it is run --- src/Verismith/Fuzz.hs | 8 ++++---- 1 file 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 -- cgit