[ 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'