[Git][ghc/ghc][wip/T21909] reduce fuel for wanted constraints

[Apoorv Ingle (@ani)]

Apoorv Ingle pushed to branch wip/T21909 at Glasgow Haskell Compiler / GHC


Commits:
29a276de by Apoorv Ingle at 2023-02-06T12:50:33-06:00
reduce fuel for wanted constraints

- - - - -


1 changed file:

- compiler/GHC/Tc/Solver/Canonical.hs


Changes:

=====================================
compiler/GHC/Tc/Solver/Canonical.hs
=====================================
@@ -188,7 +188,7 @@ canClassNC ev cls tys
   = canClass ev cls tys fuel
 
   where
-    fuel | cls_has_scs = defaultExpansionFuel
+    fuel | cls_has_scs = 1
          | otherwise = noExpansionFuel
     cls_has_scs = not (null (classSCTheta cls))
     loc  = ctEvLoc ev



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/29a276de4686453852d1699f506528bcb1c421e4

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/29a276de4686453852d1699f506528bcb1c421e4
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20230206/a437a01a/attachment-0001.html>