#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