[Git][ghc/ghc][wip/int-index/decl-invis-binders] Comments only

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/int-index/decl-invis-binders at Glasgow Haskell Compiler / GHC


Commits:
da7334ce by Simon Peyton Jones at 2023-01-30T08:25:46+00:00
Comments only

- - - - -


1 changed file:

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


Changes:

=====================================
compiler/GHC/Tc/Gen/HsType.hs
=====================================
@@ -3044,7 +3044,7 @@ tcTKTelescope mode tele thing_inside = case tele of
 --    HsOuterTyVarBndrs
 --------------------------------------
 
-bindOuterTKBndrsX :: OutputableBndrFlag flag 'Renamed
+bindOuterTKBndrsX :: OutputableBndrFlag flag 'Renamed  -- Only to support traceTc
                   => SkolemMode
                   -> HsOuterTyVarBndrs flag GhcRn
                   -> TcM a
@@ -3121,7 +3121,7 @@ bindOuterFamEqnTKBndrs skol_info
     -- sm_clone=False: see Note [Cloning for type variable binders]
 
 ---------------
-tcOuterTKBndrs :: OutputableBndrFlag flag 'Renamed
+tcOuterTKBndrs :: OutputableBndrFlag flag 'Renamed   -- Only to support traceTc
                => SkolemInfo
                -> HsOuterTyVarBndrs flag GhcRn
                -> TcM a -> TcM (HsOuterTyVarBndrs flag GhcTc, a)
@@ -3132,7 +3132,7 @@ tcOuterTKBndrs skol_info
   -- Do not clone the outer binders
   -- See Note [Cloning for type variable binders] under "must not"
 
-tcOuterTKBndrsX :: OutputableBndrFlag flag 'Renamed
+tcOuterTKBndrsX :: OutputableBndrFlag flag 'Renamed   -- Only to support traceTc
                 => SkolemMode -> SkolemInfo
                 -> HsOuterTyVarBndrs flag GhcRn
                 -> TcM a -> TcM (HsOuterTyVarBndrs flag GhcTc, a)
@@ -3153,7 +3153,7 @@ tcOuterTKBndrsX skol_mode skol_info outer_bndrs thing_inside
 --    Explicit tyvar binders
 --------------------------------------
 
-tcExplicitTKBndrs :: OutputableBndrFlag flag 'Renamed
+tcExplicitTKBndrs :: OutputableBndrFlag flag 'Renamed    -- Only to suppor traceTc
                   => SkolemInfo
                   -> [LHsTyVarBndr flag GhcRn]
                   -> TcM a
@@ -3161,7 +3161,7 @@ tcExplicitTKBndrs :: OutputableBndrFlag flag 'Renamed
 tcExplicitTKBndrs skol_info
   = tcExplicitTKBndrsX (smVanilla { sm_clone = True, sm_tvtv = SMDSkolemTv skol_info })
 
-tcExplicitTKBndrsX :: OutputableBndrFlag flag 'Renamed
+tcExplicitTKBndrsX :: OutputableBndrFlag flag 'Renamed    -- Only to suppor traceTc
                    => SkolemMode
                    -> [LHsTyVarBndr flag GhcRn]
                    -> TcM a
@@ -3196,14 +3196,14 @@ tcExplicitTKBndrsX skol_mode bndrs thing_inside = case nonEmpty bndrs of
 -- | Skolemise the 'HsTyVarBndr's in an 'HsForAllTelescope' with the supplied
 -- 'TcTyMode'.
 bindExplicitTKBndrs_Skol
-    :: (OutputableBndrFlag flag 'Renamed)
+    :: (OutputableBndrFlag flag 'Renamed)      -- Only to suppor traceTc
     => SkolemInfo
     -> [LHsTyVarBndr flag GhcRn]
     -> TcM a
     -> TcM ([VarBndr TyVar flag], a)
 
 bindExplicitTKBndrs_Tv
-    :: (OutputableBndrFlag flag 'Renamed)
+    :: (OutputableBndrFlag flag 'Renamed)    -- Only to suppor traceTc
     => [LHsTyVarBndr flag GhcRn]
     -> TcM a
     -> TcM ([VarBndr TyVar flag], a)
@@ -3212,14 +3212,16 @@ bindExplicitTKBndrs_Skol skol_info = bindExplicitTKBndrsX (smVanilla { sm_clone
 bindExplicitTKBndrs_Tv   = bindExplicitTKBndrsX (smVanilla { sm_clone = True, sm_tvtv = SMDTyVarTv })
    -- sm_clone: see Note [Cloning for type variable binders]
 
-bindExplicitTKBndrs_Q_Skol :: (OutputableBndrFlag flag 'Renamed)
+bindExplicitTKBndrs_Q_Skol
+    :: (OutputableBndrFlag flag 'Renamed)   -- Only to support traceTc
     => SkolemInfo
     -> ContextKind
     -> [LHsTyVarBndr flag GhcRn]
     -> TcM a
     -> TcM ([VarBndr TyVar flag], a)
 
-bindExplicitTKBndrs_Q_Tv :: (OutputableBndrFlag flag 'Renamed)
+bindExplicitTKBndrs_Q_Tv
+    :: (OutputableBndrFlag flag 'Renamed)   -- Only to support traceTc
     => ContextKind
     -> [LHsTyVarBndr flag GhcRn]
     -> TcM a
@@ -3237,7 +3239,8 @@ bindExplicitTKBndrs_Q_Tv  ctxt_kind hs_bndrs thing_inside
                          hs_bndrs thing_inside
     -- sm_clone=False: see Note [Cloning for type variable binders]
 
-bindExplicitTKBndrsX :: (OutputableBndrFlag flag 'Renamed)
+bindExplicitTKBndrsX
+    :: (OutputableBndrFlag flag 'Renamed)   -- Only to support traceTc
     => SkolemMode
     -> [LHsTyVarBndr flag GhcRn]
     -> TcM a



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/da7334cea24aa5c7dc45fb1c26089c4156152794
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/20230130/9e3a1444/attachment-0001.html>