on master help sign in
Fixed wrong error reporting values.
c80c51eJan de Muijnck-Hughes
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