992e753 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Run usage analysis after every :r.

992e753Matus Tejiscak12 years ago

src/Idris/REPL.hs+8−5

@@ -1255,7 +1255,13 @@ loadInputs h inputs

1255 _ -> return ()

1256 ist <- getIState

1257 putIState (ist { idris_tyinfodata = tidata,

1258− idris_patdefs = patdefs }))

1258+ idris_patdefs = patdefs })

1259+

1260+ case opt getOutput opts of

1261+ [] -> performUsageAnalysis -- interactive

1262+ _ -> return [] -- batch, will be checked by the compiler

1263+

1264+ return ())

1259 (\e -> do i <- getIState

1265 (\e -> do i <- getIState

1260 case e of

1266 case e of

1261 At f e' -> do setErrSpan f

1267 At f e' -> do setErrSpan f

@@ -1399,10 +1405,7 @@ idrisMain opts =

1399

1405

1400 ok <- noErrors

1406 ok <- noErrors

1401 when ok $ case output of

1407 when ok $ case output of

1402− -- just do the checks

1408+ [] -> return ()

1403− [] -> performUsageAnalysis >> return ()

1404−

1405− -- the compiler will run usage analysis itself

1406 (o:_) -> idrisCatch (process stdout "" (Compile cgn o))

1409 (o:_) -> idrisCatch (process stdout "" (Compile cgn o))

1407 (\e -> do ist <- getIState ; iputStrLn $ pshow ist e)

1410 (\e -> do ist <- getIState ; iputStrLn $ pshow ist e)

1408

1411