[Git][ghc/ghc][wip/match-pat] Formatting

[Vladislav Zavialov (@int-index)]

Vladislav Zavialov pushed to branch wip/match-pat at Glasgow Haskell Compiler / GHC


Commits:
0b3b1e8a by Vladislav Zavialov at 2023-08-27T08:57:40+03:00
Formatting

- - - - -


2 changed files:

- compiler/GHC/Rename/Bind.hs
- compiler/GHC/Tc/Gen/Match.hs


Changes:

=====================================
compiler/GHC/Rename/Bind.hs
=====================================
@@ -1247,16 +1247,15 @@ checkDupMinimalSigs sigs
 -}
 
 data RnMatchCtxt pat body
-  = RnMC
-       { rnmc_what :: HsMatchContext GhcRn
-       , rnmc_pats :: forall a.
-                      HsMatchContext GhcRn
-                   -> [LocatedA (pat GhcPs)]
-                   -> ([LocatedA (pat GhcRn)]
-                   -> RnM (a, FreeVars))
-                   -> RnM (a, FreeVars)
-       , rnmc_body :: LocatedA (body GhcPs)
-                   -> RnM (LocatedA (body GhcRn), FreeVars) }
+  = RnMC { rnmc_what :: HsMatchContext GhcRn
+         , rnmc_pats :: forall a.
+                        HsMatchContext GhcRn
+                     -> [LocatedA (pat GhcPs)]
+                     -> ([LocatedA (pat GhcRn)]
+                     -> RnM (a, FreeVars))
+                     -> RnM (a, FreeVars)
+         , rnmc_body :: LocatedA (body GhcPs)
+                     -> RnM (LocatedA (body GhcRn), FreeVars) }
 
 type AnnoBody body
   = ( Anno (GRHS GhcRn (LocatedA (body GhcRn))) ~ SrcAnn NoEpAnns


=====================================
compiler/GHC/Tc/Gen/Match.hs
=====================================
@@ -192,19 +192,18 @@ tcGRHSsPat grhss res_ty
 *                                                                      *
 ********************************************************************* -}
 
-data TcMatchCtxt pat body   -- c.f. TcStmtCtxt, also in this module
-  = TcMC
-       { tcmc_what :: HsMatchContext GhcTc     -- What kind of thing this is
-       , tcmc_pats :: forall a.                -- Type checker for match patterns
-                      HsMatchContext GhcTc
-                   -> [LocatedA (pat GhcRn)]   -- patterns
-                   -> [ExpPatType]             -- types of the patterns
-                   -> TcM a                    -- checker for the body
-                   -> TcM ([LocatedA (pat GhcTc)], a)
-       , tcmc_body :: LocatedA (body GhcRn)  -- Type checker for a body of
-                                             -- an alternative
-                   -> ExpRhoType
-                   -> TcM (LocatedA (body GhcTc)) }
+data TcMatchCtxt pat body
+  = TcMC { tcmc_what :: HsMatchContext GhcTc     -- What kind of thing this is
+         , tcmc_pats :: forall a.                -- Type checker for match patterns
+                         HsMatchContext GhcTc
+                     -> [LocatedA (pat GhcRn)]   -- patterns
+                     -> [ExpPatType]             -- types of the patterns
+                     -> TcM a                    -- checker for the body
+                     -> TcM ([LocatedA (pat GhcTc)], a)
+         , tcmc_body :: LocatedA (body GhcRn)  -- Type checker for a body of
+                                               -- an alternative
+                     -> ExpRhoType
+                     -> TcM (LocatedA (body GhcTc)) }
 
 type AnnoBody body
   = ( Outputable (body GhcRn)



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/0b3b1e8a91134607d661958238e99b0dc1937c26
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/20230827/f9e5ed8e/attachment-0001.html>