[Git][ghc/ghc][wip/T24676] Wibble

[Simon Peyton Jones (@simonpj)]

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


Commits:
b63ef509 by Simon Peyton Jones at 2024-04-24T15:54:51+02:00
Wibble

- - - - -


1 changed file:

- compiler/GHC/Tc/Utils/TcMType.hs


Changes:

=====================================
compiler/GHC/Tc/Utils/TcMType.hs
=====================================
@@ -2444,15 +2444,15 @@ promoteTyVarSet tvs
        ; return (or bools) }
 
 demoteDeltaTyVarTo :: TcLevel -> TcTyVar -> TcM ()
-demoteDeltaTyVarTo tclvl tv
+demoteDeltaTyVarTo new_lvl tv
   | MetaTv { mtv_ref = ref, mtv_tclvl = tv_lvl } <- tcTyVarDetails tv
-  = assertPpr (tclvl `strictlyDeeperThan` tcTyVarLevel tv) (ppr tclvl <+> ppr tv) $
+  = assertPpr (new_lvl `strictlyDeeperThan` tv_lvl) (ppr new_lvl <+> ppr tv) $
     do { info <- readTcRef ref
        ; case info of {
             Indirect {} -> return () ;
             Flexi ->
     do { cloned_tv <- cloneMetaTyVar tv
-       ; let rhs_tv = setMetaTyVarTcLevel cloned_tv tclvl
+       ; let rhs_tv = setMetaTyVarTcLevel cloned_tv new_lvl
        ; liftZonkM $ writeTcRef ref (Indirect (TyVarTy rhs_tv))
          -- Do not go via writeMetaTyVar!
        ; traceTc "demoteTyVar" (ppr tv <+> text "-->" <+> ppr rhs_tv)



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/b63ef5098ca341bff9484193f18085d7dd731540
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/20240424/cd089ef1/attachment-0001.html>