idris-lang/Idris-dev — pull request #1195 by ziman (2014-05-05 09:30:53+00:00)
Title: Add :set warnreach + usage check after every :r

Fixes #1087.