[Git][ghc/ghc][wip/T18126] Silence unused binder warning

[Ben Gamari]

Ben Gamari pushed to branch wip/T18126 at Glasgow Haskell Compiler / GHC


Commits:
b9c66bd3 by Ben Gamari at 2020-09-14T14:00:49-04:00
Silence unused binder warning

It looks to me like the intent here is merely to invoke the occurrence
check and that we do not need the expanded type.

- - - - -


1 changed file:

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


Changes:

=====================================
compiler/GHC/Tc/Gen/App.hs
=====================================
@@ -858,7 +858,7 @@ qlUnify delta ty1 ty2
         let ty2_tvs = shallowTyCoVarsOfType ty2
       , not (ty2_tvs `intersectsVarSet` bvs2)
           -- Can't instantiate a delta-varto a forall-bound variable
-      , Just ty2' <- occCheckExpand [kappa] ty2
+      , Just _ty2' <- occCheckExpand [kappa] ty2
           -- Passes the occurs check
       = do { co <- unifyKind (Just (ppr ty2)) ty2_kind kappa_kind
                    -- unifyKind: see Note [Actual unification in qlUnify]



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/b9c66bd345539ebf828819a538b03171128408d0
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/20200914/4f249e81/attachment-0001.html>