Only run performSpecial' once, since its idempotent

ndmitchell · Mar 28, 2020 · 61bd876 · 61bd876
1 parent 61ab3f0
commit 61bd876
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Hint/Match.hs b/src/Hint/Match.hs
@@ -145,7 +145,7 @@ matchIdea' sb declName HintRule{..} parent x = do
   tpl <- pure (performSpecial' tpl)
   u <- pure (removeParens noParens u)
 
-  let res = addBracketTy' (addBracket' parent $ performSpecial' $ fst $ substitute' u $ unqualify' sa sb rhs')
+  let res = addBracketTy' (addBracket' parent $ fst $ substitute' u $ unqualify' sa sb rhs')
   guard $ (freeVars' e Set.\\ Set.filter (not . isUnifyVar . occNameString) (freeVars' rhs')) `Set.isSubsetOf` freeVars' x
       -- Check no unexpected new free variables.