Allow functions to be declared as error handlers
Fix comment syntax for highlighting
Add ErrorHandler Binary instance
Proper checking for language extension
Merge remote-tracking branch 'origin/error-reflection' into error-reflection
Allow querying the registered error handlers
Check the type of elaborated error handlers
Remove superfluous clause in fact
Catch import errors in the right place

In REPL.loadInputs
Fixes #494
Fixes #755
Fix failing test
Don't install packages if there are metavariables

Fixes #756
Also fixes #696 since that was due to package building not propagating
errors to the caller!
Merge pull request #753 from Melvar/obstructive-fact-clause

Remove superfluous clause in fact
List metavariables at REPL
Case branches can depend on scrutinee

When constructing the case expression, if the scrutinee is a variable in
the environment, use that as the argument to match on, rather than the
new argument we've constructed (which we should still keep, just so that
we can still use the name if necessary).
Fix typo in Concurrency.Raw
Properly handle generation of sdist Git hashes

Now, the Git hash module is appropriately generated when running cabal sdist.
Fix source locations for generated version number
Merge pull request #762 from david-christiansen/show-git-in-version-2

Properly handle generation of sdist Git hashes
Merge branch 'master' of github.com:idris-lang/Idris-dev
Propagate assert_total to case blocks