diff --git a/libs/contrib/Test/Golden.idr b/libs/contrib/Test/Golden.idr index 0d5d50917..e32c8ea06 100644 --- a/libs/contrib/Test/Golden.idr +++ b/libs/contrib/Test/Golden.idr @@ -202,10 +202,10 @@ runTest opts testPath = forkIO $ do ["Golden value differs from actual value."] ++ (if (code < 0) then expVsOut exp out else []) ++ ["Accept actual value as new golden value? [yn]"] - b <- getAnswer - when b $ do Right _ <- writeFile (testPath ++ "/expected") out - | Left err => print err - pure () + b <- getAnswer + when b $ do Right _ <- writeFile (testPath ++ "/expected") out + | Left err => print err + pure () printTiming : Bool -> Clock type -> String -> IO () printTiming True clock msg = putStrLn (unwords [msg, show clock]) diff --git a/tests/Lib.idr b/tests/Lib.idr index 7a155fad3..f5e6c3b78 100644 --- a/tests/Lib.idr +++ b/tests/Lib.idr @@ -202,10 +202,10 @@ runTest opts testPath = forkIO $ do ["Golden value differs from actual value."] ++ (if (code < 0) then expVsOut exp out else []) ++ ["Accept actual value as new golden value? [yn]"] - b <- getAnswer - when b $ do Right _ <- writeFile (testPath ++ "/expected") out - | Left err => print err - pure () + b <- getAnswer + when b $ do Right _ <- writeFile (testPath ++ "/expected") out + | Left err => print err + pure () printTiming : Bool -> Clock type -> String -> IO () printTiming True clock msg = putStrLn (unwords [msg, show clock])