@@ -137,7 +137,7 @@ ibc i (IBCTrans t) f = return f { ibc_transforms = t : ibc_transforms f }
137process :: IBCFile -> FilePath -> Idris ()
137process :: IBCFile -> FilePath -> Idris ()
138process i fn
138process i fn
139 | ver i /= ibcVersion = do iLOG "ibc out of date"
139 | ver i /= ibcVersion = do iLOG "ibc out of date"
140− fail "Incorrect ibc version --- please rebuild"
140+ ifail "Incorrect ibc version --- please rebuild"
141 | otherwise =
141 | otherwise =
142 do srcok <- liftIO $ doesFileExist (sourcefile i)
142 do srcok <- liftIO $ doesFileExist (sourcefile i)
143 when srcok $ liftIO $ timestampOlder (sourcefile i) fn
143 when srcok $ liftIO $ timestampOlder (sourcefile i) fn