testsuite: Un-break T5642
testsuite: Un-break T5642

This was largely fixed by the re-rework of the pattern match checker.
Resolves #5642.

(cherry picked from commit 16cf460ca6c4aa1ccb05703743f61242ee90c53f)

GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc