idris-lang/Idris-dev — pull request #544 by david-christiansen (2013-10-18 08:37:44+00:00)
Title: Convert IO errors into erros in the Idris monad

Introduces a variant of liftIO, called runIO, that converts IO errors into
Idris errors with the Msg constructor.

Fixes #543.