Make "Stale IBC" use the new error system
commit5082ac41855e25d9ba545094e91d142612eb963b
authorDavid Christiansen <david@davidchristiansen.dk>
dateWed 16 Oct 2013, 13:47 (13 years ago)
parentac33945
src/Idris/IBC.hs+1−1
@@ -137,7 +137,7 @@ ibc i (IBCTrans t) f = return f { ibc_transforms = t : ibc_transforms f }
137137process :: IBCFile -> FilePath -> Idris ()
138138process i fn
139139 | ver i /= ibcVersion = do iLOG "ibc out of date"
140− fail "Incorrect ibc version --- please rebuild"
140+ ifail "Incorrect ibc version --- please rebuild"
141141 | otherwise =
142142 do srcok <- liftIO $ doesFileExist (sourcefile i)
143143 when srcok $ liftIO $ timestampOlder (sourcefile i) fn