@@ -394,11 +394,17 @@ process reexp phase archive fn = do
394394 processAccess reexp phase archive
395395
396396timestampOlder :: FilePath -> FilePath -> Idris ()
397−timestampOlder src ibc = do srct <- runIO $ getModificationTime src
398− ibct <- runIO $ getModificationTime ibc
399− if (srct > ibct)
400− then ifail $ "Needs reloading " ++ show (srct, ibct)
401− else return ()
397+timestampOlder src ibc = do
398+ srct <- runIO $ getModificationTime src
399+ ibct <- runIO $ getModificationTime ibc
400+ if (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]
406+ ]
407+ else return ()
402408
403409processPostulates :: Archive -> Idris ()
404410processPostulates ar = do