@@ -394,11 +394,17 @@ process reexp phase archive fn = do
394 processAccess reexp phase archive
394 processAccess reexp phase archive
396timestampOlder :: FilePath -> FilePath -> Idris ()
396timestampOlder :: FilePath -> FilePath -> Idris ()
397+timestampOlder src ibc = do
397−timestampOlder src ibc = do srct <- runIO $ getModificationTime src
398+ srct <- runIO $ getModificationTime src
398− ibct <- runIO $ getModificationTime ibc
399+ ibct <- runIO $ getModificationTime ibc
399− if (srct > ibct)
400+ if (srct > ibct)
400− then ifail $ "Needs reloading " ++ show (srct, ibct)
401+ then ifail $ unlines [ "Module needs reloading:"
402+ , unwords ["\tSRC :", show src]
403+ , unwords ["\tModified at:", show srct]
404+ , unwords ["\tIBC :", show src]
405+ , unwords ["\tModified at:", show srct]
401− else return ()
407+ else return ()
403processPostulates :: Archive -> Idris ()
409processPostulates :: Archive -> Idris ()
404processPostulates ar = do
410processPostulates ar = do