[Git][ghc/ghc][wip/zap-coercions] Fix it

[Ben Gamari]

Ben Gamari pushed to branch wip/zap-coercions at Glasgow Haskell Compiler / GHC


Commits:
1e047402 by Ben Gamari at 2020-03-27T17:42:41-04:00
Fix it

- - - - -


1 changed file:

- compiler/GHC/Core/Rules.hs


Changes:

=====================================
compiler/GHC/Core/Rules.hs
=====================================
@@ -842,8 +842,8 @@ match_co renv subst co1 co2
         -> match_cos renv subst [arg1, res1] [arg2, res2]
       _ -> Nothing
 match_co renv subst co1 co2
-  | Just (prov1, r1, Pair ty1a ty1b) <- splitUnivCo_maybe co1
-  , Just (prov2, r2, Pair ty2a ty2b) <- splitUnivCo_maybe co2
+  | Just (_prov1, r1, Pair ty1a ty1b) <- splitUnivCo_maybe co1
+  , Just (_prov2, r2, Pair ty2a ty2b) <- splitUnivCo_maybe co2
   = do { guard (r1 == r2)
          -- TODO: Should we try to match provenance?
        ; subst' <- match_ty renv subst ty1a ty2a



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/1e047402d6a59813461d7941338af6cfb574f252
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/20200327/412f0911/attachment.html>