on master help sign in
Merge pull request #3115 from jfdm/fix-error-reporting
6d20e42Ahmad Salim Al-Sibahi
src/Idris/IBC.hs+2−2
@@ -401,8 +401,8 @@ timestampOlder src ibc = do
401 then ifail $ unlines [ "Module needs reloading:"
401 then ifail $ unlines [ "Module needs reloading:"
402 , unwords ["\tSRC :", show src]
402 , unwords ["\tSRC :", show src]
403 , unwords ["\tModified at:", show srct]
403 , unwords ["\tModified at:", show srct]
404− , unwords ["\tIBC :", show src]
404+ , unwords ["\tIBC :", show ibc]
405− , unwords ["\tModified at:", show srct]
405+ , unwords ["\tModified at:", show ibct]
406 ]
406 ]
407 else return ()
407 else return ()
408
408