From c54b3e06ee2793a531c2f64b2be5ef06c42e49ed Mon Sep 17 00:00:00 2001 From: Piotr Paradzinski Date: Mon, 11 May 2026 14:11:47 +0200 Subject: [PATCH] Replace old-time with time in repa-io --- repa-io/Data/Array/Repa/IO/Timing.hs | 11 ++++++++--- repa-io/repa-io.cabal | 2 +- 2 files changed, 9 insertions(+), 4 deletions(-) diff --git a/repa-io/Data/Array/Repa/IO/Timing.hs b/repa-io/Data/Array/Repa/IO/Timing.hs index ae6c3f2e..fe643632 100644 --- a/repa-io/Data/Array/Repa/IO/Timing.hs +++ b/repa-io/Data/Array/Repa/IO/Timing.hs @@ -10,7 +10,10 @@ module Data.Array.Repa.IO.Timing , prettyTime) where import System.CPUTime -import System.Time +import Data.Time.Clock.System + ( SystemTime (..) + , getSystemTime + ) -- Time ----------------------------------------------------------------------- @@ -58,8 +61,10 @@ getTime :: IO Time getTime = do cpu <- getCPUTime - TOD sec pico <- getClockTime - return $ Time cpu (pico + sec * 1000000000000) + MkSystemTime sec nano <- getSystemTime + return $ Time cpu + $ fromIntegral sec * 1000000000000 + + fromIntegral nano * 1000 -- | Show a time as a string, in milliseconds. diff --git a/repa-io/repa-io.cabal b/repa-io/repa-io.cabal index 73feac9d..805f65bc 100644 --- a/repa-io/repa-io.cabal +++ b/repa-io/repa-io.cabal @@ -26,8 +26,8 @@ Library , binary >= 0.7 && < 0.9 , bmp >= 1.2 && <1.3 , bytestring >= 0.10 && < 0.13 - , old-time == 1.1.* , repa >= 3.4 && <3.5 + , time >= 1.8 && < 1.15 , vector >= 0.11 && < 0.14 ghc-options: