Fix tests which were made to pass by "Make a smart mkAppTyM"
authorMatthew Pickering <matthewtpickering@gmail.com>
Fri, 15 Feb 2019 10:26:41 +0000 (10:26 +0000)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Sat, 16 Feb 2019 06:14:00 +0000 (01:14 -0500)
commit9b39597b66b6a46c1af2bb939dd77d01544ab7be
tree6ee6896f60f02af288d2bd7b599a2dfcabf4e47a
parent0b92bdc79ddd38ceb69820dbc27ed36d7e5d7a57
Fix tests which were made to pass by "Make a smart mkAppTyM"

For some reason gitlab is not reporting these as failures in CI. It's
not clear to me why as the junit output looks fine.

Fixes #16112 and #16113

They were fixed by 682783828275cca5fd8bf5be5b52054c75e0e22c
testsuite/tests/dependent/should_fail/all.T
testsuite/tests/parser/should_fail/all.T
testsuite/tests/typecheck/should_fail/all.T