Fix tcfail158 (#15899)
authorKrzysztof Gogolewski <krzysztof.gogolewski@tweag.io>
Sun, 19 May 2019 19:44:11 +0000 (21:44 +0200)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Mon, 27 May 2019 14:06:28 +0000 (10:06 -0400)
commit1f51aad656444c667cf1dd22605ee65e931985c7
treedf84217055e17cf6b4bdc9b1b081e833a3d28a9d
parent3f6e5b976fe6bcb61aa44a4467e8f94841e979cf
Fix tcfail158 (#15899)

As described in #15899, this test was broken, but now it's back
to normal.
testsuite/tests/typecheck/should_fail/all.T
testsuite/tests/typecheck/should_fail/tcfail158.stderr