@@ -1273,7 +1273,6 @@ loadInputs h inputs
1274 inew <- getIState
1274 inew <- getIState
1275 let tidata = idris_tyinfodata inew
1275 let tidata = idris_tyinfodata inew
1276− let lineapps = idris_lineapps inew
1277 let patdefs = idris_patdefs inew
1276 let patdefs = idris_patdefs inew
1278 -- If it worked, load the whole thing from all the ibcs together
1277 -- If it worked, load the whole thing from all the ibcs together
1279 case errSpan inew of
1278 case errSpan inew of
@@ -1284,7 +1283,6 @@ loadInputs h inputs
1284 _ -> return ()
1283 _ -> return ()
1285 ist <- getIState
1284 ist <- getIState
1286 putIState (ist { idris_tyinfodata = tidata,
1285 putIState (ist { idris_tyinfodata = tidata,
1287− idris_lineapps = lineapps,
1288 idris_patdefs = patdefs }))
1286 idris_patdefs = patdefs }))
1289 (\e -> do i <- getIState
1287 (\e -> do i <- getIState
1290 case e of
1288 case e of
@@ -1303,13 +1301,11 @@ loadInputs h inputs
1303 -- FIXME: Save these in IBC to avoid this hack! Need to
1301 -- FIXME: Save these in IBC to avoid this hack! Need to
1304 -- preserve it all from source inputs
1302 -- preserve it all from source inputs
1305 let tidata = idris_tyinfodata inew
1303 let tidata = idris_tyinfodata inew
1306− let lineapps = idris_lineapps inew
1307 let patdefs = idris_patdefs inew
1304 let patdefs = idris_patdefs inew
1308 ok <- noErrors
1305 ok <- noErrors
1309 when ok $ do when (not keepstate) $ putIState ist
1306 when ok $ do when (not keepstate) $ putIState ist
1310 ist <- getIState
1307 ist <- getIState
1311 putIState (ist { idris_tyinfodata = tidata,
1308 putIState (ist { idris_tyinfodata = tidata,
1312− idris_lineapps = lineapps,
1313 idris_patdefs = patdefs })
1309 idris_patdefs = patdefs })
1314 tryLoad keepstate fs
1310 tryLoad keepstate fs