Skip to content

Instantly share code, notes, and snippets.

@mpickering
Created October 2, 2025 10:39
Show Gist options
  • Select an option

  • Save mpickering/f88bb17304e4d2f1ca4392638808c8d9 to your computer and use it in GitHub Desktop.

Select an option

Save mpickering/f88bb17304e4d2f1ca4392638808c8d9 to your computer and use it in GitHub Desktop.
#!/usr/bin/env -S cabal run
{- cabal:
build-depends: base >=4.17 && <5
, directory >=1.3.8
, filepath >=1.4.100
, time
, criterion >=1.6
default-language: GHC2021
ghc-options: -O2
-}
import Criterion.Main
import System.Environment (getArgs)
import System.OsPath
import System.Directory.OsPath (getModificationTime)
main :: IO ()
main = do
let path :: OsPath
path = unsafeEncodeUtf "/home/matt/ghc-clean/cabal.project-reinstall"
rel_path = unsafeEncodeUtf "cabal.project-reinstall"
defaultMain
[
bench ("getModificationTime " ++ show path) $
whnfIO (getModificationTime path)
, bench ("getModificationTime " ++ show rel_path) $
whnfIO (getModificationTime rel_path)
]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment