January 2026 - ghc-commits

[Git][ghc/ghc][wip/spj-try-opt-coercion] Try a very cheap coercion optimiser
by Simon Peyton Jones (＠simonpj) 08 Jan '26

08 Jan '26

Simon Peyton Jones pushed to branch wip/spj-try-opt-coercion at Glasgow Haskell Compiler / GHC Commits: e994b11c by Simon Peyton Jones at 2026-01-08T17:25:43+00:00 Try a very cheap coercion optimiser - - - - - 3 changed files: - compiler/GHC/Core/Coercion/Opt.hs - compiler/GHC/Core/Opt/Simplify/Iteration.hs - compiler/GHC/Core/Ppr.hs Changes: ===================================== compiler/GHC/Core/Coercion/Opt.hs ===================================== @@ -1,7 +1,7 @@ -- (c) The University of Glasgow 2006 {-# LANGUAGE CPP #-} -module GHC.Core.Coercion.Opt( optCoProgram ) +module GHC.Core.Coercion.Opt( optCoProgram, optCoRefl ) where import GHC.Prelude @@ -11,12 +11,13 @@ import GHC.Tc.Utils.TcType ( exactTyCoVarsOfType ) import GHC.Core import GHC.Core.TyCo.Rep import GHC.Core.TyCo.Subst -import GHC.Core.TyCo.Compare( eqForAllVis, eqTypeIgnoringMultiplicity ) +import GHC.Core.TyCo.Compare( eqForAllVis, eqTypeIgnoringMultiplicity, eqType ) import GHC.Core.Coercion import GHC.Core.Type as Type hiding( substTyVarBndr, substTy ) import GHC.Core.TyCon import GHC.Core.Coercion.Axiom import GHC.Core.Unify +import GHC.Core.Map.Type import GHC.Types.Basic( SwapFlag(..), flipSwap, isSwapped, pickSwap, notSwapped ) import GHC.Types.Var @@ -24,6 +25,7 @@ import GHC.Types.Var.Set import GHC.Types.Var.Env import GHC.Data.Pair +import GHC.Data.TrieMap import GHC.Utils.Outputable import GHC.Utils.Constants (debugIsOn) @@ -229,6 +231,75 @@ optCoAlt is (Alt k bs e) = Alt k bs (optCoExpr (is `extendInScopeSetList` bs) e) +{- ********************************************************************** +%* * + optCoercionRefls +%* * +%********************************************************************* -} + +optCoRefl :: Coercion -> Coercion +optCoRefl in_co + = let out_co = go in_co + (Pair in_l in_r) = coercionKind in_co + (Pair out_l out_r) = coercionKind out_co + in if (in_l `eqType` out_l) && (in_r `eqType` out_r) + then out_co + else pprTrace "optReflCo" (vcat [ text "in_l:" <+> ppr in_l + , text "in_r:" <+> ppr in_r + , text "out_l:" <+> ppr out_l + , text "out_r:" <+> ppr out_r + , text "in_co:" <+> ppr in_co + , text "out_co:" <+> ppr out_co ]) $ + out_co + where + go_m MRefl = MRefl + go_m (MCo co) = MCo (go co) + + go_s cos = map go cos + + go co@(Refl {}) = co + go co@(GRefl {}) = co + go co@(CoVarCo {}) = co + go co@(HoleCo {}) = co + go (SymCo co) = mkSymCo (go co) + go (KindCo co) = mkKindCo (go co) + go (SubCo co) = mkSubCo (go co) + go (SelCo n co) = mkSelCo n (go co) + go (LRCo n co) = mkLRCo n (go co) + go (AppCo co1 co2) = mkAppCo (go co1) (go co2) + go (InstCo co1 co2) = mkInstCo (go co1) (go co2) + go (ForAllCo v vl vr mco co) = mkForAllCo v vl vr (go_m mco) (go co) + go (FunCo r afl afr com coa cor) = mkFunCo2 r afl afr (go com) (go coa) (go cor) + go (TyConAppCo r tc cos) = mkTyConAppCo r tc (go_s cos) + go (UnivCo p r lt rt cos) = mkUnivCo p (go_s cos) r lt rt + go (AxiomCo ax cos) = mkAxiomCo ax (go_s cos) + + go (TransCo co1 co2) = gobble gs0 co1 [co2] + where + lk = coercionLKind co1 + role = coercionRole co1 + + gs0 :: GobbleState + gs0 = GS (mkReflCo role lk) (insertTM lk gs0 emptyTM) + + gobble :: GobbleState -> Coercion -> [Coercion] -> Coercion + -- gobble (GS co1 tm) co2 cos returns a coercion equivalent to (co1;co2;cos) + gobble gs (TransCo co2 co3) cos + = gobble gs co2 (co3 : cos) + gobble (GS co1 tm) co2 cos + = case lookupTM rk tm of + Just gs -> pprTrace "optCoRefl:hit eliminated" (ppr (TransCo co1 co2)) $ + gobble0 gs cos + Nothing -> gobble0 gs' cos + where + rk = coercionRKind co2 + gs' = GS (co1 `mkTransCo` co2) (insertTM rk gs' tm) + + gobble0 (GS co _) [] = co + gobble0 gs (co:cos) = gobble gs co cos + +data GobbleState = GS Coercion (TypeMap GobbleState) + {- ********************************************************************** %* * optCoercion ===================================== compiler/GHC/Core/Opt/Simplify/Iteration.hs ===================================== @@ -26,6 +26,7 @@ import GHC.Core.Opt.OccurAnal ( occurAnalyseExpr, zapLambdaBndrs, scrutOkForBind import GHC.Core.Make ( FloatBind, mkImpossibleExpr, castBottomExpr ) import qualified GHC.Core.Make import GHC.Core.Coercion hiding ( substCo, substCoVar ) +import GHC.Core.Coercion.Opt import GHC.Core.Reduction import GHC.Core.FamInstEnv ( FamInstEnv, topNormaliseType_maybe ) import GHC.Core.DataCon @@ -721,15 +722,12 @@ prepareBinding env top_lvl is_rec strict_bind bndr rhs_floats rhs ; let all_floats = rhs_floats1 `addLetFloats` anf_floats ; if doFloatFromRhs (seFloatEnable env) top_lvl is_rec strict_bind all_floats rhs2 then -- Float! - simplTrace "prepareBinding:yes" (ppr all_floats $$ text "rhs" <+> ppr rhs2) $ do { tick LetFloatFromLet ; return (all_floats, rhs2) } else -- Abandon floating altogether; revert to original rhs -- Since we have already built rhs1, we just need to add -- rhs_floats1 to it - simplTrace "prepareBinding:no" (vcat [ ppr all_floats - , text "rhs" <+> ppr rhs2 ]) $ return (emptyFloats env, wrapFloats rhs_floats1 rhs1) } {- Note [prepareRhs] @@ -1392,7 +1390,7 @@ simplCoercionF env co cont simplCoercion :: SimplEnv -> InCoercion -> SimplM OutCoercion simplCoercion env co - = do { let out_co = substCo env co + = do { let out_co = optCoRefl (substCo env co) ; seqCo out_co `seq` return out_co } ----------------------------------- ===================================== compiler/GHC/Core/Ppr.hs ===================================== @@ -169,7 +169,9 @@ noParens pp = pp pprOptCo :: Coercion -> SDoc -- Print a coercion optionally; i.e. honouring -dsuppress-coercions pprOptCo co = sdocOption sdocSuppressCoercions $ \case - True -> angleBrackets (text "Co:" <> int (coercionSize co)) <+> dcolon <+> co_type + True -> angleBrackets (text "Co:" <> int (coercionSize co) + <+> ppr (coVarsOfCo co)) + <+> dcolon <+> co_type False -> parens $ sep [ppr co, dcolon <+> co_type] where co_type = sdocOption sdocSuppressCoercionTypes $ \case View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/e994b11ce3c3a780fde72715eefebe7… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/e994b11ce3c3a780fde72715eefebe7… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/labelThread-export] Export labelThread from Control.Concurrent
by Oleg Grenrus (＠phadej) 08 Jan '26

08 Jan '26

Oleg Grenrus pushed to branch wip/labelThread-export at Glasgow Haskell Compiler / GHC Commits: e74b942d by Oleg Grenrus at 2026-01-08T18:18:41+02:00 Export labelThread from Control.Concurrent - - - - - 5 changed files: - libraries/base/changelog.md - libraries/base/src/Control/Concurrent.hs - libraries/base/src/System/Timeout.hs - testsuite/tests/interface-stability/base-exports.stdout - testsuite/tests/interface-stability/base-exports.stdout-mingw32 Changes: ===================================== libraries/base/changelog.md ===================================== @@ -17,6 +17,7 @@ * Adjust the strictness of `Data.List.iterate'` to be more reasonable: every element of the output list is forced to WHNF when the `(:)` containing it is forced. ([CLC proposal #335)](https://github.com/haskell/core-libraries-committee/issues/335) * Add `nubOrd` / `nubOrdBy` to `Data.List` and `Data.List.NonEmpty`. ([CLC proposal #336](https://github.com/haskell/core-libraries-committee/issues/336)) * Add `Semigroup` and `Monoid` instances for `Control.Monad.ST.Lazy`. ([CLC proposal #374](https://github.com/haskell/core-libraries-committee/issues/374)) + * Export `labelThread` from `Control.Concurrent`.([CLC proposal #376](https://github.com/haskell/core-libraries-committee/issues/376)) ## 4.22.0.0 *TBA* * Shipped with GHC 9.14.1 ===================================== libraries/base/src/Control/Concurrent.hs ===================================== @@ -82,6 +82,9 @@ module Control.Concurrent ( -- * Weak references to ThreadIds mkWeakThreadId, + -- * Thread debugging + labelThread, + -- * GHC's implementation of concurrency -- |This section describes features specific to GHC's ===================================== libraries/base/src/System/Timeout.hs ===================================== @@ -29,7 +29,6 @@ import GHC.Internal.Control.Exception (Exception(..), handleJust, bracket, asyncExceptionToException, asyncExceptionFromException) import GHC.Internal.Data.Unique (Unique, newUnique) -import GHC.Conc (labelThread) import Prelude -- $setup ===================================== testsuite/tests/interface-stability/base-exports.stdout ===================================== @@ -120,6 +120,7 @@ module Control.Concurrent where isCurrentThreadBound :: GHC.Internal.Types.IO GHC.Internal.Types.Bool isEmptyMVar :: forall a. MVar a -> GHC.Internal.Types.IO GHC.Internal.Types.Bool killThread :: ThreadId -> GHC.Internal.Types.IO () + labelThread :: ThreadId -> GHC.Internal.Base.String -> GHC.Internal.Types.IO () mkWeakMVar :: forall a. MVar a -> GHC.Internal.Types.IO () -> GHC.Internal.Types.IO (GHC.Internal.Weak.Weak (MVar a)) mkWeakThreadId :: ThreadId -> GHC.Internal.Types.IO (GHC.Internal.Weak.Weak ThreadId) modifyMVar :: forall a b. MVar a -> (a -> GHC.Internal.Types.IO (a, b)) -> GHC.Internal.Types.IO b ===================================== testsuite/tests/interface-stability/base-exports.stdout-mingw32 ===================================== @@ -120,6 +120,7 @@ module Control.Concurrent where isCurrentThreadBound :: GHC.Internal.Types.IO GHC.Internal.Types.Bool isEmptyMVar :: forall a. MVar a -> GHC.Internal.Types.IO GHC.Internal.Types.Bool killThread :: ThreadId -> GHC.Internal.Types.IO () + labelThread :: ThreadId -> GHC.Internal.Base.String -> GHC.Internal.Types.IO () mkWeakMVar :: forall a. MVar a -> GHC.Internal.Types.IO () -> GHC.Internal.Types.IO (GHC.Internal.Weak.Weak (MVar a)) mkWeakThreadId :: ThreadId -> GHC.Internal.Types.IO (GHC.Internal.Weak.Weak ThreadId) modifyMVar :: forall a b. MVar a -> (a -> GHC.Internal.Types.IO (a, b)) -> GHC.Internal.Types.IO b View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/e74b942dd575b3d20d9b5f61aa3a7aa… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/e74b942dd575b3d20d9b5f61aa3a7aa… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/t26751] Evaluate backtraces for "error" exceptions at the moment they are thrown
by Matthew Pickering (＠mpickering) 08 Jan '26

08 Jan '26

Matthew Pickering pushed to branch wip/t26751 at Glasgow Haskell Compiler / GHC Commits: 9ac926f9 by Matthew Pickering at 2026-01-08T16:01:01+00:00 Evaluate backtraces for "error" exceptions at the moment they are thrown See Note [Capturing the backtrace in throw] and Note [Hiding precise exception signature in throw] which explain the implementation. This commit makes `error` and `throw` behave the same with regard to backtraces. Previously, exceptiosn raised by `error` would not contain useful IPE backtraces. I did try and implement `error` in terms of `throw` but it started to involve putting diverging functions into hs-boot files, which seemed to risky if the compiler wouldn't be able to see if applying a function would diverge. Fixes #26751 - - - - - 1 changed file: - libraries/ghc-internal/src/GHC/Internal/Err.hs Changes: ===================================== libraries/ghc-internal/src/GHC/Internal/Err.hs ===================================== @@ -1,6 +1,7 @@ {-# LANGUAGE Trustworthy #-} {-# LANGUAGE NoImplicitPrelude, MagicHash, ImplicitParams #-} {-# LANGUAGE RankNTypes, PolyKinds, DataKinds #-} +{-# LANGUAGE BangPatterns #-} {-# OPTIONS_HADDOCK not-home #-} ----------------------------------------------------------------------------- @@ -25,6 +26,7 @@ module GHC.Internal.Err( absentErr, error, errorWithoutStackTrace, undefined ) where import GHC.Internal.Types (Char, RuntimeRep) import GHC.Internal.Stack.Types +import GHC.Internal.Magic import GHC.Internal.Prim import {-# SOURCE #-} GHC.Internal.Exception ( errorCallWithCallStackException @@ -33,7 +35,10 @@ import {-# SOURCE #-} GHC.Internal.Exception -- | 'error' stops execution and displays an error message. error :: forall (r :: RuntimeRep). forall (a :: TYPE r). HasCallStack => [Char] -> a -error s = raise# (errorCallWithCallStackException s ?callStack) +error s = + -- Evaluate SomeException before to get accurate callstacks (like throw) + let !se = noinline (errorCallWithCallStackException s ?callStack) + in raise# se -- Bleh, we should be using 'GHC.Internal.Stack.callStack' instead of -- '?callStack' here, but 'GHC.Internal.Stack.callStack' depends on -- 'GHC.Internal.Stack.popCallStack', which is partial and depends on @@ -73,7 +78,9 @@ undefined :: forall (r :: RuntimeRep). forall (a :: TYPE r). -- nor wanted (see #19886). We’d like to use withFrozenCallStack, but that -- is not available in this module yet, and making it so is hard. So let’s just -- use raise# directly. -undefined = raise# (errorCallWithCallStackException "Prelude.undefined" ?callStack) +undefined = + let !se = noinline (errorCallWithCallStackException "Prelude.undefined" ?callStack) + in raise# se -- | Used for compiler-generated error message; -- encoding saves bytes of string junk. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9ac926f9d6bc0bc33de0823be347fd6… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9ac926f9d6bc0bc33de0823be347fd6… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc] Pushed new branch wip/t26751-v2
by Matthew Pickering (＠mpickering) 08 Jan '26

08 Jan '26

Matthew Pickering pushed new branch wip/t26751-v2 at Glasgow Haskell Compiler / GHC -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/tree/wip/t26751-v2 You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc] Pushed new branch wip/t26751
by Matthew Pickering (＠mpickering) 08 Jan '26

08 Jan '26

Matthew Pickering pushed new branch wip/t26751 at Glasgow Haskell Compiler / GHC -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/tree/wip/t26751 You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/T26748] Account for "stupid theta" in demand sig for DataCon wrappers
by Matthew Craven (＠clyring) 08 Jan '26

08 Jan '26

Matthew Craven pushed to branch wip/T26748 at Glasgow Haskell Compiler / GHC Commits: a65d92f2 by Matthew Craven at 2026-01-08T09:43:37-05:00 Account for "stupid theta" in demand sig for DataCon wrappers Fixes #26748. - - - - - 4 changed files: - compiler/GHC/Types/Id/Make.hs - + testsuite/tests/dmdanal/should_run/T26748.hs - + testsuite/tests/dmdanal/should_run/T26748.stdout - testsuite/tests/dmdanal/should_run/all.T Changes: ===================================== compiler/GHC/Types/Id/Make.hs ===================================== @@ -825,9 +825,10 @@ mkDataConRep dc_bang_opts fam_envs wrap_name data_con -- LFInfo stores post-unarisation arity wrap_arg_dmds = - replicate (length theta) topDmd ++ map mk_dmd arg_ibangs + replicate (length stupid_theta + length theta) topDmd + ++ map mk_dmd arg_ibangs -- Don't forget the dictionary arguments when building - -- the strictness signature (#14290). + -- the strictness signature (#14290, #26748). mk_dmd str | isBanged str = evalDmd | otherwise = topDmd ===================================== testsuite/tests/dmdanal/should_run/T26748.hs ===================================== @@ -0,0 +1,11 @@ +{-# LANGUAGE Haskell98 #-} +module Main (main, x) where + +data Eq a => D a = MkD { lazy_field :: a, strict_field :: !a } + +x :: D () +{-# INLINABLE x #-} +x = MkD { lazy_field = error "urk", strict_field = () } + +main :: IO () +main = print (strict_field x) ===================================== testsuite/tests/dmdanal/should_run/T26748.stdout ===================================== @@ -0,0 +1 @@ +() ===================================== testsuite/tests/dmdanal/should_run/all.T ===================================== @@ -34,3 +34,4 @@ test('T22475b', normal, compile_and_run, ['']) test('T22549', normal, compile_and_run, ['-fdicts-strict -fno-specialise']) test('T23208', exit_code(1), multimod_compile_and_run, ['T23208_Lib', 'T23208']) test('T25439', normal, compile_and_run, ['']) +test('T26748', normal, compile_and_run, ['']) View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a65d92f2c1b64c29473ceb11979a38a… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a65d92f2c1b64c29473ceb11979a38a… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc] Pushed new branch wip/T26746
by Simon Peyton Jones (＠simonpj) 08 Jan '26

08 Jan '26

Simon Peyton Jones pushed new branch wip/T26746 at Glasgow Haskell Compiler / GHC -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/tree/wip/T26746 You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc] Pushed new branch wip/T26748
by Matthew Craven (＠clyring) 08 Jan '26

08 Jan '26

Matthew Craven pushed new branch wip/T26748 at Glasgow Haskell Compiler / GHC -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/tree/wip/T26748 You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc] Pushed new branch wip/t26745
by Matthew Pickering (＠mpickering) 08 Jan '26

08 Jan '26

Matthew Pickering pushed new branch wip/t26745 at Glasgow Haskell Compiler / GHC -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/tree/wip/t26745 You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 8 commits: make: remove unused Makefiles from legacy make build system
by Marge Bot (＠marge-bot) 08 Jan '26

08 Jan '26

Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC Commits: ec3cf767 by Cheng Shao at 2026-01-08T06:24:31-05:00 make: remove unused Makefiles from legacy make build system This patch removes unused Makefiles from legacy make build system; now they are never used by hadrian in any way, and they already include common boilerplate mk files that are long gone in the make build system removal, hence the housecleaning. Co-authored-by: Codex <codex(a)openai.com> - - - - - 04ea3f83 by Cheng Shao at 2026-01-08T06:25:13-05:00 compiler: use -O3 as LLVM optimization level for ghc -O2 The GHC driver clamps LLVM optimization level to `-O2` due to LLVM crashes, but those were historical issues many years ago that are no longer relevant for LLVM versions we support today. This patch changes the driver to use `-O3` as LLVM optimization level when compiling with `-O2`, which is a better default when we're willing to trade compilation time for faster generated code. - - - - - 62a16af9 by Peter Trommler at 2026-01-08T06:58:24-05:00 Use half-word literals in info tables With this commit info tables are mapped to the same assembler code on big-endian and little-endian platforms. Fixes #26579. - - - - - 22683ea2 by Simon Peyton Jones at 2026-01-08T06:58:25-05:00 Refactor srutOkForBinderSwap This MR does a small refactor: * Moves `scrutOkForBinderSwap` and `BinderSwapDecision` to GHC.Core.Utils * Inverts the sense of the coercion it returns, which makes more sense No effect on behaviour - - - - - 037805e5 by Simon Peyton Jones at 2026-01-08T06:58:25-05:00 Improve case merging This small MR makes case merging happen a bit more often than it otherwise could, by getting join points out of the way. See #26709 and GHC.Core.Utils Note [Floating join points out of DEFAULT alternatives] - - - - - 0afbdb49 by Cheng Shao at 2026-01-08T06:58:26-05:00 hadrian: remove broken hsc2hs flag when cross compiling to windows This patch removes the `--via-asm` hsc2hs flag when cross compiling to windows. With recent llvm-mingw toolchain, it would fail with: ``` x86_64-w64-mingw32-hsc2hs: Cannot combine instructions: [Quad 8,Long 4,Long 241,Ref ".Ltmp1-.Ltmp0"] ``` The hsc2hs default `--cross-compile` logic is slower but works. - - - - - a6401513 by Simon Peyton Jones at 2026-01-08T06:58:27-05:00 Try harder to keep the substitution empty Avoid unnecessary cloning of variables in the Simplifier. Addresses #26724, See Note [Keeping the substitution empty] We get some big wins in compile time Metrics: compile_time/bytes allocated ------------------------------------- Baseline Test Metric value New value Change ---------------------------------------------------------------------------- CoOpt_Singletons(normal) ghc/alloc 721,544,088 692,174,216 -4.1% GOOD LargeRecord(normal) ghc/alloc 1,268,031,157 1,265,168,448 -0.2% T14766(normal) ghc/alloc 918,218,533 688,432,296 -25.0% GOOD T15703(normal) ghc/alloc 318,103,629 306,638,016 -3.6% GOOD T17836(normal) ghc/alloc 419,174,584 418,400,824 -0.2% T18478(normal) ghc/alloc 471,042,976 470,261,376 -0.2% T20261(normal) ghc/alloc 573,387,162 563,663,336 -1.7% T24984(normal) ghc/alloc 87,832,666 87,636,168 -0.2% T25196(optasm) ghc/alloc 1,103,284,040 1,101,376,992 -0.2% hard_hole_fits(normal) ghc/alloc 224,981,413 224,608,208 -0.2% geo. mean -0.3% minimum -25.0% maximum +0.1% Metric Decrease: CoOpt_Singletons T14766 T15703 - - - - - 555d1153 by Simon Peyton Jones at 2026-01-08T06:58:28-05:00 Add regression test for #24867 - - - - - 33 changed files: - compiler/GHC/Cmm/Info.hs - compiler/GHC/Cmm/Utils.hs - compiler/GHC/Core/Opt/OccurAnal.hs - compiler/GHC/Core/Opt/Simplify/Iteration.hs - compiler/GHC/Core/Opt/Simplify/Utils.hs - compiler/GHC/Core/Opt/SpecConstr.hs - compiler/GHC/Core/Subst.hs - compiler/GHC/Core/TyCo/Subst.hs - compiler/GHC/Core/Utils.hs - compiler/GHC/Driver/Pipeline/Execute.hs - compiler/GHC/Driver/Session.hs - − docs/Makefile - − docs/storage-mgt/Makefile - − docs/users_guide/Makefile - − driver/Makefile - − driver/ghc/Makefile - − driver/ghci/Makefile - − driver/haddock/Makefile - − ghc/Makefile - hadrian/src/Settings/Builders/Hsc2Hs.hs - − libraries/Makefile - − libraries/doc/Makefile - − linters/lint-codes/Makefile - − linters/lint-notes/Makefile - llvm-passes - − rts/Makefile - − rts/include/Makefile - + testsuite/tests/pmcheck/should_compile/T24867.hs - + testsuite/tests/pmcheck/should_compile/T24867.stderr - testsuite/tests/pmcheck/should_compile/all.T - + testsuite/tests/simplCore/should_compile/T26709.hs - + testsuite/tests/simplCore/should_compile/T26709.stderr - testsuite/tests/simplCore/should_compile/all.T The diff was not included because it is too large. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/c5a82ba6f49868a2594aa418631a25… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/c5a82ba6f49868a2594aa418631a25… You're receiving this email because of your account on gitlab.haskell.org.

1 0