[Git][ghc/ghc][wip/T25647] format

[Patrick (@soulomoon)]

Patrick pushed to branch wip/T25647 at Glasgow Haskell Compiler / GHC


Commits:
d6ea25d6 by Patrick at 2025-03-05T20:47:59+08:00
format

- - - - -


1 changed file:

- compiler/GHC/Core/TyCon.hs


Changes:

=====================================
compiler/GHC/Core/TyCon.hs
=====================================
@@ -3050,14 +3050,14 @@ For instance, for an instance declaration like
     instance C Int [x] Bool where
        type F _ _ (_ :: _) = Int
 
-the first two underscores (free arguments) would yield TyVarTv’s while the last two underscores (a class
-argument and a signature argument) would produce TauTv's.
+the first two underscores (free arguments) would yield TyVarTv’s while the last two
+underscores (a class argument and a signature argument) would produce TauTv's.
 
 <Implemenation Detail>
-The ClassArg and FreeArg are generated in `mkFamilyTyCon` and store at `famTcParent` field at `FamilyTyCon`.
-When typechecking type families, the `FamArgFlavour's passed in `tcAnonWildCardOcc` when dancing around
-inside `tcInferTyApps` and `SigArg` is passed down at `HsKindSig` branch of `tcHsType` in the dance.
-
+The ClassArg and FreeArg are generated in `mkFamilyTyCon` and store at `famTcParent`
+field at `FamilyTyCon`. When typechecking type families, the `FamArgFlavour's passed
+in `tcAnonWildCardOcc` when dancing around inside `tcInferTyApps` and `SigArg` is
+passed down at `HsKindSig` branch of `tcHsType` in the dance.
 
 <More on SigArg>
 Example from T14366



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/d6ea25d657ae308f8888254fb394694466f58158
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/20250305/1f81ff90/attachment-0001.html>