[Git][ghc/ghc][wip/T21623] Wibbles

[Simon Peyton Jones (@simonpj)]

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


Commits:
a627d70e by Simon Peyton Jones at 2022-08-11T21:59:43+01:00
Wibbles

- - - - -


2 changed files:

- compiler/GHC/Core/Coercion.hs
- compiler/GHC/Core/Type.hs


Changes:

=====================================
compiler/GHC/Core/Coercion.hs
=====================================
@@ -1545,9 +1545,6 @@ promoteCoercion co = case co of
     Pair ty1 ty2 = coercionKind co
     ki1 = typeKind ty1
     ki2 = typeKind ty2
-    doc = vcat[ ppr co
-              , text "ty1" <+> ppr ty1 <+> dcolon <+> ppr ki1
-              , text "ty2" <+> ppr ty2 <+> dcolon <+> ppr ki2 ]
 
 -- | say @g = promoteCoercion h at . Then, @instCoercion g w@ yields @Just g'@,
 -- where @g' = promoteCoercion (h w)@.


=====================================
compiler/GHC/Core/Type.hs
=====================================
@@ -664,7 +664,7 @@ kindRep k = case kindRep_maybe k of
 kindRep_maybe :: HasDebugCallStack => Kind -> Maybe RuntimeRepType
 kindRep_maybe kind
   | Just (_, rep) <- sORTKind_maybe kind = Just rep
-  | otherwise                              = Nothing
+  | otherwise                            = Nothing
 
 -- | Returns True if the argument is a lifted SORT
 -- See Note [Kind Constraint and kind Type]
@@ -1626,7 +1626,7 @@ splitTyConAppNoSyn_maybe ty
 -- of @a@ isn't of the form @TYPE rep@). Consequently, you may need to zonk your
 -- type before using this function.
 --
--- Differs from splitTyConApp_maybe in taht it does *not* split types
+-- Differs from splitTyConApp_maybe in that it does *not* split types
 -- headed with (=>), as that's not a TyCon in the type-checker.
 --
 -- Moreover, for a FunTy, it only succeeds if the argument types
@@ -1645,7 +1645,7 @@ tcSplitTyConApp_maybe ty
       TyConApp tc tys -> Just (tc, tys)
       FunTy { ft_af = af, ft_mult = w, ft_arg = arg, ft_res = res}
         | isVisibleAnonArg af    -- Visible args only. See Note [Decomposing fat arrow c=>t]
-                      -> funTyConAppTy_maybe af w arg res
+        -> funTyConAppTy_maybe af w arg res
       _ -> Nothing
 
 -------------------



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

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