diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-01-23 08:16:04 +0100 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-01-23 08:42:50 +0100 |
| commit | 7f10d5fc780415a734acb2d6796f2bb6a222f4e1 (patch) | |
| tree | a1231da9fedcb4fcbb3656907fa6e4354220addb | |
| parent | 420ef55a0d28a177fab981655a1c44291b441382 (diff) | |
| download | haskell-wip/test-tc-level.tar.gz | |
Check the situation in #15384wip/test-tc-level
| -rw-r--r-- | compiler/GHC/Tc/Solver.hs | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/compiler/GHC/Tc/Solver.hs b/compiler/GHC/Tc/Solver.hs index 7e1f919e1f..d56cf47a01 100644 --- a/compiler/GHC/Tc/Solver.hs +++ b/compiler/GHC/Tc/Solver.hs @@ -1870,8 +1870,7 @@ solveImplication imp@(Implic { ic_tclvl = tclvl = do { inerts <- getTcSInerts ; traceTcS "solveImplication {" (ppr imp $$ text "Inerts" <+> ppr inerts) - -- commented out; see `where` clause below - -- ; when debugIsOn check_tc_level + ; when debugIsOn check_tc_level -- Solve the nested constraints ; (has_given_eqs, given_insols, residual_wanted) @@ -1915,12 +1914,9 @@ solveImplication imp@(Implic { ic_tclvl = tclvl -- Note [TcLevel invariants] in GHC.Tc.Utils.TcType), -- and in fact I think they should always increase one level at a time. - -- Though sensible, this check causes lots of testsuite failures. It is - -- remaining commented out for now. - {- + where check_tc_level = do { cur_lvl <- TcS.getTcLevel ; MASSERT2( tclvl == pushTcLevel cur_lvl , text "Cur lvl =" <+> ppr cur_lvl $$ text "Imp lvl =" <+> ppr tclvl ) } - -} ---------------------- setImplicationStatus :: Implication -> TcS (Maybe Implication) |