[GHC] #15384: Every implication should bump the TcLevel exactly once

[GHC]

#15384: Every implication should bump the TcLevel exactly once
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |                Owner:  (none)
            Type:  task              |               Status:  new
        Priority:  normal            |            Milestone:  8.6.1
       Component:  Compiler          |              Version:  8.5
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by goldfire):

 These do:

 {{{
    gadt/T12468.run                                             T12468
 [stderr mismatch] (normal)
    ghci/scripts/T8353.run                                      T8353 [bad
 stderr] (ghci)
    ghci/scripts/T10248.run                                     T10248 [bad
 stderr] (ghci)
    ghci/scripts/T10249.run                                     T10249 [bad
 stderr] (ghci)
    ghci/should_run/T15007.run                                  T15007 [bad
 stderr] (ghci)
    module/mod71.run                                            mod71
 [stderr mismatch] (normal)
    partial-sigs/should_compile/T12531.run                      T12531
 [exit code non-0] (normal)
    partial-sigs/should_fail/T14040a.run                        T14040a
 [stderr mismatch] (normal)
    quotes/T10384.run                                           T10384
 [stderr mismatch] (normal)
    th/T10267.run                                               T10267
 [stderr mismatch] (normal)
    th/T10267.run                                               T10267
 [stderr mismatch] (ext-interp)
    typecheck/should_compile/holes2.run                         holes2
 [exit code non-0] (normal)
    typecheck/should_compile/subsumption_sort_hole_fits.run
 subsumption_sort_hole_fits [exit code non-0] (normal)
    typecheck/should_compile/valid_hole_fits_interactions.run
 valid_hole_fits_interactions [exit code non-0] (normal)
    typecheck/should_compile/hole_constraints.run
 hole_constraints [exit code non-0] (normal)
    typecheck/should_compile/abstract_refinement_hole_fits.run
 abstract_refinement_hole_fits [exit code non-0] (normal)
    typecheck/should_compile/holes.run                          holes [exit
 code non-0] (normal)
    typecheck/should_compile/valid_hole_fits.run
 valid_hole_fits [exit code non-0] (normal)
    typecheck/should_compile/free_monad_hole_fits.run
 free_monad_hole_fits [exit code non-0] (normal)
    typecheck/should_compile/refinement_hole_fits.run
 refinement_hole_fits [exit code non-0] (normal)
    typecheck/should_compile/hole_constraints_nested.run
 hole_constraints_nested [exit code non-0] (normal)
    typecheck/should_compile/local_hole_fits.run
 local_hole_fits [exit code non-0] (normal)
    typecheck/should_compile/constraint_hole_fits.run
 constraint_hole_fits [exit code non-0] (normal)
    typecheck/should_compile/type_in_type_hole_fits.run
 type_in_type_hole_fits [exit code non-0] (normal)
    typecheck/should_compile/holes3.run                         holes3
 [stderr mismatch] (normal)
    typecheck/should_compile/T9497b.run                         T9497b
 [exit code non-0] (normal)
    typecheck/should_compile/T9497c.run                         T9497c
 [exit code non-0] (normal)
    typecheck/should_compile/T9497a.run                         T9497a
 [exit code non-0] (normal)
    typecheck/should_compile/T13050.run                         T13050
 [exit code non-0] (normal)
    typecheck/should_compile/T14590.run                         T14590
 [exit code non-0] (normal)
    typecheck/should_compile/T14273.run                         T14273
 [exit code non-0] (normal)
    typecheck/should_fail/TcStaticPointersFail02.run
 TcStaticPointersFail02 [stderr mismatch] (normal)
    typecheck/should_fail/T9497d.run                            T9497d
 [stderr mismatch] (normal)
    typecheck/should_fail/T11274.run                            T11274
 [stderr mismatch] (normal)
    typecheck/should_fail/T12177.run                            T12177
 [stderr mismatch] (normal)
 }}}

 Without the ASSERT in !TcSimplify, no test cases fail.

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