idris-lang/Idris-dev — pull request #751 by Melvar (2013-12-22 13:57:10+00:00)
Title: Fix import clash in Setup.hs

`Control.Exception.catch` clashes with `Prelude.catch` on older versions of base.
Newer versions of base don’t have `Prelude.catch`, so it’s probably not possible
to `import Prelude hiding (catch)`.