[Git][ghc/ghc][wip/T24676] Wibbles

[Simon Peyton Jones (@simonpj)]

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


Commits:
a19848ff by Simon Peyton Jones at 2024-05-21T09:06:59+01:00
Wibbles

- - - - -


1 changed file:

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


Changes:

=====================================
compiler/GHC/Tc/Gen/App.hs
=====================================
@@ -1914,7 +1914,7 @@ qlUnify delta ty1 ty2
            ; if (kind1 `tcEqType` kind2)
              then return ty2
              else
-        do { co <- emitWantedEq orig KindLevel Nominal kind1 kind2
+        do { co <- emitWantedEq orig KindLevel Nominal kind2 kind1
            ; traceTc "make_kinds_ok" $
              vcat [ hang (ppr kappa <+> dcolon <+> ppr kind1 <+> text ":=")
                        2 (ppr ty2 <+> dcolon <+> ppr kind2)
@@ -1923,8 +1923,8 @@ qlUnify delta ty1 ty2
       where
         kind1 = tyVarKind kappa
         kind2 = typeKind ty2
-        orig  = TypeEqOrigin { uo_actual   = kind1
-                             , uo_expected = kind2
+        orig  = TypeEqOrigin { uo_actual   = kind2
+                             , uo_expected = kind1
                              , uo_thing    = Just (TypeThing ty2)
                              , uo_visible  = True }
 



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

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