[Git][ghc/ghc][wip/TagToEnum-class] Fix pattern match for MC3 of Note [Merge Nested Cases]

[Matthew Craven (@clyring)]

Matthew Craven pushed to branch wip/TagToEnum-class at Glasgow Haskell Compiler / GHC


Commits:
48e410f4 by Matthew Craven at 2025-03-07T19:53:42-05:00
Fix pattern match for MC3 of Note [Merge Nested Cases]

- - - - -


1 changed file:

- compiler/GHC/Core/Utils.hs


Changes:

=====================================
compiler/GHC/Core/Utils.hs
=====================================
@@ -679,7 +679,7 @@ mergeCaseAlts outer_bndr (Alt DEFAULT _ deflt_rhs : outer_alts)
             ; return ([], alts') }
 
     -- Deal with tagToEnumPrim# See Note [Merge Nested Cases] wrinkle (MC3)
-    go (App (App (Var f) (Type type_arg)) (Var v)) -- TODO: Fix this pattern match
+    go (Var f `App` _levity_arg `App` Type type_arg `App` Var v)
       | v == outer_bndr
       , Just TagToEnumOp <- isPrimOpId_maybe f
       , Just tc  <- tyConAppTyCon_maybe type_arg



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/48e410f47a5e608115d43a7b1d3b98179eaaf452
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/20250307/834a6e99/attachment.html>