[Git][ghc/ghc][wip/T22908] Apply 2 suggestion(s) to 1 file(s)

[sheaf (@sheaf)]

sheaf pushed to branch wip/T22908 at Glasgow Haskell Compiler / GHC


Commits:
39950bea by sheaf at 2023-02-20T11:05:16+00:00
Apply 2 suggestion(s) to 1 file(s)
- - - - -


1 changed file:

- compiler/GHC/Tc/Gen/App.hs


Changes:

=====================================
compiler/GHC/Tc/Gen/App.hs
=====================================
@@ -579,10 +579,10 @@ tcInstFun do_ql inst_final (rn_fun, fun_ctxt) fun_sigma rn_args
     -- c.f. GHC.Tc.Utils.Instantiate.topInstantiate
     go1 delta acc so_far fun_ty args
       | (tvs,   body1) <- tcSplitSomeForAllTyVars (inst_fun args) fun_ty
-      , (theta, body2) <- if (inst_fun args Inferred)
+      , (theta, body2) <- if inst_fun args Inferred
                           then tcSplitPhiTy body1
                           else ([], body1)
-        -- (inst_fun args Inferred): dictionary parameters are like Inferred foralls
+        -- inst_fun args Inferred: dictionary parameters are like Inferred foralls
         -- E.g. #22908: f :: Foo => blah
         -- No foralls!  But if inst_final=False, don't instantiate
       , not (null tvs && null theta)



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/39950bea608ffcbc54c8c6a741da7dd0bc4eba7e

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/39950bea608ffcbc54c8c6a741da7dd0bc4eba7e
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/20230220/1a13a14a/attachment-0001.html>