Commit 8580b976 authored by dimitris's avatar dimitris

Deleting more old commented code.

parent b3f6a8b6
This diff is collapsed.
......@@ -821,23 +821,11 @@ simpl_loop n implics
; inerts <- getTcSInerts
; let ((_,unsolved_flats),_) = extractUnsolved inerts
{- DELETEME
; ecache_pre <- getTcSEvVarCacheMap
; let pr = ppr ((\k z m -> foldTM k m z) (:) [] ecache_pre)
; traceTcS "ecache_pre" $ pr
-}
; improve_eqs <- if not (isEmptyBag implic_eqs)
then return implic_eqs
else applyDefaultingRules unsolved_flats
{- DELETEME
; ecache_post <- getTcSEvVarCacheMap
; let po = ppr ((\k z m -> foldTM k m z) (:) [] ecache_post)
; traceTcS "ecache_po" $ po
-}
; traceTcS "solveWanteds: simpl_loop end" $
vcat [ text "improve_eqs =" <+> ppr improve_eqs
, text "unsolved_flats =" <+> ppr unsolved_flats
......
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