[ Errors ] More informative printing of error triggered by error printing.
[ issue 1251 ] test case.
[ comment ] Clarifying the passing of termErrs in Decl.hs
[ refactor ] factored out typeError_ to compose, but not throw TypeError.
[ issue 1251 ] fixed by putting TerminationErrors into context (TypeError).
[ Utils ] New conditionals, testing for null.
[ Utils ] Null instance for Range.
[ refactor ] Use of null and applyUnless.
[ Errors ] Do not print empty lines when noRange.
[ Errors ] Trace import statements for error reporting.
[ test ] Updated error messages.
[ issue 1251 ] Now proper error instead of panic.
Merge branch 'maint-2.4.0' of github.com:agda/agda into maint-2.4.0
Merge branch 'maint-2.4.0'
[ test ] Updated error message