Florian Ragwitz pushed to branch wip/rafl/hpc-instances at Glasgow Haskell Compiler / GHC Commits: 45174db5 by Florian Ragwitz at 2026-10-11T00:21:37-07:00 Clarify why we're not excluding all generated code (yet!) - - - - - 0c06dab6 by Florian Ragwitz at 2026-10-11T00:25:19-07:00 Minor documentation tweaks - - - - - 3 changed files: - compiler/GHC/HsToCore/Ticks.hs - compiler/GHC/Types/Id/Info.hs - libraries/containers Changes: ===================================== compiler/GHC/HsToCore/Ticks.hs ===================================== @@ -312,6 +312,8 @@ addTickLHsBind (L pos (funBind@(FunBind { fun_id = L _ id, fun_matches = matches exported = idName id `elemNameSet` exported_names -- See Note [Instance Method Coverage]. + -- We only exclude generated instance methods for now, not generated code in + -- general, whose coverage semantics may need to be considered separately. let generatedInstMeth = tickishType env == HpcTicks && id `elemVarEnv` instMeths env && isGenerated (mg_origin (mg_ext matches)) ===================================== compiler/GHC/Types/Id/Info.hs ===================================== @@ -222,9 +222,10 @@ data IdDetails -- - the [CbvMark] is always empty (and ignored) until after Tidy -- for ids from the current module -- - If non-empty, at least is isMarkedCbbv; see (CBV2) - | InstMethId Name - -- ^ An instance method. The 'Name' identifies the dictionary of the - -- instance it belongs to. + | InstMethId + -- ^ An instance method. + Name + -- ^ 'Name' of the dictionary function the instance it belongs to. data RecSelInfo = RSI { rsi_def :: [ConLike] -- Record selector defined for these ===================================== libraries/containers ===================================== @@ -1 +1 @@ -Subproject commit 953428ad079d5708df696442f9bdeaccd1acfc6c +Subproject commit 801b06e5d4392b028e519d5ca116a2881d559721 View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/ebc8c2bba1ab0a30892e8b6f1609a8a... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/ebc8c2bba1ab0a30892e8b6f1609a8a... You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications: https://gitlab.haskell.org/-/profile/notifications | Help: https://gitlab.haskell.org/help