[ debug ] Fix contexts in reportSDoc in Coverage.fixTarget.
[ refactor ] some code in Coverage.fixTarget.
[ Issue 1294 ] Fixed by resetting scSubst in case of splitResult.
[ Issue 1294 ] Test case.
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2
Merge branch 'maint-2.4.2'
[ clean ] Removed old, commented-out code in Coverage.
[ refactor ] More debug printing in Coverage.fixTarget.
[ haddock ] Extensive documentation for SplitClause.
[ Issue 1298 ] Fixed by raising dot patterns when fixTarget.
[ Issue 1298 ] Interactive test case.
Merge branch 'maint-2.4.2'
[ clarify ] Commented on SomeWarnings in Agda.Main.
[ Issue 1296 ] Fixed by giving proper error message.
[ Issue 1296 ] Test case.
Merge branch 'maint-2.4.2'
Merge remote-tracking branch 'upstream/master'