[Git][ghc/ghc][wip/T21623] Wibble

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/T21623 at Glasgow Haskell Compiler / GHC


Commits:
b3f02921 by Simon Peyton Jones at 2022-08-15T00:57:41+01:00
Wibble

- - - - -


1 changed file:

- compiler/GHC/Core/Coercion.hs


Changes:

=====================================
compiler/GHC/Core/Coercion.hs
=====================================
@@ -620,14 +620,14 @@ eqTyConRole tc
   | otherwise
   = pprPanic "eqTyConRole: unknown tycon" (ppr tc)
 
--- | Given a coercion @co1 :: (a :: SORT t_or_c1 r1) ~ (b :: SORT t_or_c2 r2)@,
+-- | Given a coercion @co1 :: (a :: TYPE r1) ~ (b :: TYPE r2)@,
+--   (or CONSTRAINT instead of TPYE)
 -- produce a coercion @rep_co :: r1 ~ r2 at .
 mkRuntimeRepCo :: HasDebugCallStack => Coercion -> Coercion
 mkRuntimeRepCo co
-  = mkNthCo Nominal 1 kind_co
+  = mkNthCo Nominal 0 kind_co
   where
-    kind_co = mkKindCo co  -- kind_co :: SORT t_or_c1 r1 ~ SORT t_or_c2 r2
-                           -- (up to silliness with Constraint)
+    kind_co = mkKindCo co  -- kind_co :: TYPE r1 ~ TYPE r2
 
 isReflCoVar_maybe :: Var -> Maybe Coercion
 -- If cv :: t~t then isReflCoVar_maybe cv = Just (Refl t)



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/b3f029217e48270d11839b9c503039c52ad58857
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/20220814/290093c5/attachment-0001.html>