Commit d5459a33 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Remove unnecessary call to checkReductionDepth

We call checkReductionDepth in chooseInstance, so there's no
need to call it in selectNextWorkItem too
parent e0653697
......@@ -367,7 +367,8 @@ selectNextWorkItem
; case selectWorkItem wl of {
Nothing -> return Nothing ;
Just (ct, new_wl) ->
do { checkReductionDepth (ctLoc ct) (ctPred ct)
do { -- checkReductionDepth (ctLoc ct) (ctPred ct)
-- This is done by TcInteract.chooseInstance
; wrapTcS (TcM.writeTcRef wl_var new_wl)
; return (Just ct) } } }
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment