Commit 8d72f878 authored by Ben Gamari's avatar Ben Gamari 🐢

TcSimplify: Condense MASSERT2() usage onto a single line

Sadly macOS's C preprocessor gets angry at the sight of multi-line macro
invocations.
parent 4293a80a
......@@ -1558,9 +1558,7 @@ solveImplication imp@(Implic { ic_tclvl = tclvl
-- remaining commented out for now.
{-
check_tc_level = do { cur_lvl <- TcS.getTcLevel
; MASSERT2( tclvl == pushTcLevel cur_lvl
, text "Cur lvl =" <+> ppr cur_lvl $$
text "Imp lvl =" <+> ppr tclvl ) }
; MASSERT2( tclvl == pushTcLevel cur_lvl , text "Cur lvl =" <+> ppr cur_lvl $$ text "Imp lvl =" <+> ppr tclvl ) }
-}
----------------------
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment