ASSERT failures on HEAD following typechecker refactoring

Erik says

I suspect these commits
  3f5673f34a2f761423027bf46f64f7499708725f
may be responsible for 11 test failures:

  Unexpected results from:
  TEST="T9857 T12007 T9732 T9783 T9867 unboxed-wrapper-naked match-unboxed num T12698 T4439 unboxed-wrapper"

  SUMMARY for test run started at Sun Oct 23 16:56:26 2016 AEDT
   0:00:02 spent to go through
      11 total tests, which gave rise to
      47 test cases, of which
      36 were skipped

       0 had missing libraries
       0 expected passes
       0 expected failures

       0 caused framework failures
       0 unexpected passes
      11 unexpected failures
       0 unexpected stat failures

  Unexpected failures:
   deSugar/should_compile/T4439.run              T4439 [exit code non-0] (normal)
   ghci/scripts/T12007.run                       T12007 [bad stderr] (ghci)
   patsyn/should_compile/num.run                 num [exit code non-0] (normal)
   patsyn/should_compile/T9732.run               T9732 [exit code non-0] (normal)
   patsyn/should_compile/T9857.run               T9857 [exit code non-0] (normal)
   patsyn/should_compile/T9867.run               T9867 [exit code non-0] (normal)
   patsyn/should_compile/T12698.run              T12698 [exit code non-0] (normal)
   patsyn/should_fail/unboxed-wrapper-naked.run  unboxed-wrapper-naked [stderr mismatch] (normal)
   patsyn/should_run/T9783.run                   T9783 [exit code non-0] (normal)
   patsyn/should_run/match-unboxed.run           match-unboxed [exit code non-0] (normal)
   patsyn/should_run/unboxed-wrapper.run         unboxed-wrapper [exit code non-0] (normal)

SPJ says: indeed! Fixing now. I hadn't compiled the testsuite with DEBUG on, and doing so indeed shows up two lurking bugs!

Trac metadata

Trac field	Value
Version	8.0.1
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture