patrickaldis/garnet
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Rename some type parameters

Browse Source
This commit is contained in:
George Thomas 2026-01-06 23:36:10 +00:00
parent a7f7a2506f
commit 39714ff1c3
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
haskell/Pre.hs
View File

@ -363,9 +363,9 @@ runTests r0 (TestTree name tc ts) =
t1 <- liftIO getCurrentTime t1 <- liftIO getCurrentTime
pure (rf, diffUTCTime t1 t0) pure (rf, diffUTCTime t1 t0)
assertEqual :: (Eq p, MonadFail f) => p -> p -> f () assertEqual :: (Eq p, MonadFail m) => p -> p -> m ()
assertEqual expected actual = assert "not equal" (expected == actual) assertEqual expected actual = assert "not equal" (expected == actual)
assert :: (MonadFail f) => String -> Bool -> f () assert :: (MonadFail m) => String -> Bool -> m ()
assert s b = if b then pure () else fail s assert s b = if b then pure () else fail s
golden :: FilePath -> Text -> IO () golden :: FilePath -> Text -> IO ()
golden p x = do golden p x = do