idris-lang/Idris-dev — pull request #1193 by ziman (2014-05-05 09:07:37+00:00)
Title: Run usage analysis after every :r

Fixes #1087.