[GHC] #12762: ASSERT failures on HEAD following typechecker refactoring

[GHC]

#12762: ASSERT failures on HEAD following typechecker refactoring
-------------------------------------+-------------------------------------
           Reporter:  simonpj        |             Owner:
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Compiler       |           Version:  8.0.1
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 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!

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12762>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler