idris-lang/Idris-dev — pull request #1749 by alexander-b (2014-11-24 10:39:56+00:00)
Title: Output: Use throwError from Control.Monad.Except

Update 'Idris/Output.hs' to use 'throwError' from 'Control.Monad.Except'
rather than from 'Control.Monad.Error', which causes the build to fail with a
default setup:

src/Idris/Output.hs:18:1: Warning:
Module ‘Control.Monad.Error’ is deprecated:
Use Control.Monad.Except instead

:
Failing due to -Werror.

With this patch it should build fine.

Signed-off-by: Alexander Berntsen