- ghc-commits - Haskell.org

[Git][ghc/ghc] Pushed new branch wip/int-index/iethingwith-subwc
by Vladislav Zavialov (＠int-index) 12 Jan '26

12 Jan '26

Vladislav Zavialov pushed new branch wip/int-index/iethingwith-subwc at Glasgow Haskell Compiler / GHC -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/tree/wip/int-index/iethingwith-subwc You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 4 commits: hurd: Fix getExecutablePath build
by Marge Bot (＠marge-bot) 12 Jan '26

12 Jan '26

Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC Commits: f3c18890 by Samuel Thibault at 2026-01-10T15:48:22+01:00 hurd: Fix getExecutablePath build 3939a8bf93e27 ("GNU/Hurd: Add getExecutablePath support") added using /proc/self/exe for GNU/Hurd but missed adding the required imports for the corresponding code. - - - - - 4b02820e by Samuel Thibault at 2026-01-11T20:04:23-05:00 Fix the OS string encoding for GNU/Hurd Following https://github.com/haskell/cabal/pull/9434/files , and as seen in the various gnu_HOST_OS usages in the source code, it is expected that GNU/Hurd is advertised as "gnu", like the autotools do. - - - - - 5a797c1b by Andrew Lelechenko at 2026-01-11T20:04:23-05:00 Add since annotation for Data.Bifoldable1 Fixes #26432 - - - - - 8e07437a by Sven Tennie at 2026-01-11T20:04:24-05:00 Ignore Windows CI tool directories in Git Otherwise, we see thousands of changes in `git status` which is very confusing to work with. - - - - - 4 changed files: - .gitignore - libraries/base/src/Data/Bifoldable1.hs - libraries/ghc-internal/src/GHC/Internal/System/Environment/ExecutablePath.hsc - libraries/ghc-platform/src/GHC/Platform/ArchOS.hs Changes: ===================================== .gitignore ===================================== @@ -256,3 +256,12 @@ ghc.nix/ # clangd .clangd dist-newstyle/ + +# ----------------------------------------------------------------------------- +# CI + +# Windows CI +toolchain/ +ghc-*/ +inplace/ +tmp/ ===================================== libraries/base/src/Data/Bifoldable1.hs ===================================== @@ -2,6 +2,7 @@ -- Copyright: Edward Kmett, Oleg Grenrus -- License: BSD-3-Clause -- +-- @since 4.18.0.0 {-# LANGUAGE NoImplicitPrelude #-} {-# LANGUAGE Safe #-} ===================================== libraries/ghc-internal/src/GHC/Internal/System/Environment/ExecutablePath.hsc ===================================== @@ -51,7 +51,7 @@ import GHC.Internal.Foreign.Ptr import GHC.Internal.Foreign.Storable import GHC.Internal.System.IO.Error (isDoesNotExistError) import GHC.Internal.System.Posix.Internals -#elif defined(linux_HOST_OS) +#elif defined(linux_HOST_OS) || defined(gnu_HOST_OS) import GHC.Internal.Data.Functor import GHC.Internal.Data.List (isSuffixOf) import GHC.Internal.Foreign.C.Types ===================================== libraries/ghc-platform/src/GHC/Platform/ArchOS.hs ===================================== @@ -156,7 +156,7 @@ stringEncodeOS = \case OSHaiku -> "haiku" OSQNXNTO -> "nto-qnx" OSAIX -> "aix" - OSHurd -> "hurd" + OSHurd -> "gnu" OSWasi -> "wasi" OSGhcjs -> "ghcjs" View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/41e3903a0ec8f29e94334865d8e140… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/41e3903a0ec8f29e94334865d8e140… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/T26615] Wibbles
by Simon Peyton Jones (＠simonpj) 11 Jan '26

11 Jan '26

Simon Peyton Jones pushed to branch wip/T26615 at Glasgow Haskell Compiler / GHC Commits: a47e6e22 by Simon Peyton Jones at 2026-01-11T23:22:44+00:00 Wibbles - - - - - 5 changed files: - compiler/GHC/Core/Opt/SpecConstr.hs - compiler/GHC/Core/Opt/Specialise.hs - compiler/GHC/Core/Opt/WorkWrap.hs - compiler/GHC/Core/Rules.hs - testsuite/tests/simplCore/should_compile/spec-inline.stderr Changes: ===================================== compiler/GHC/Core/Opt/SpecConstr.hs ===================================== @@ -1864,7 +1864,7 @@ specialise env bind_calls (RI { ri_fn = fn, ri_lam_bndrs = arg_bndrs return (nullUsage, spec_info, []) | not (isNeverActive (idInlineActivation fn)) - -- See Note [Transfer activation] + -- See (SCRA1) in Note [SpecConstr: rule activation] -- Don't specialise OPAQUE things, see Note [OPAQUE pragma]. -- Since OPAQUE things are always never-active (see -- GHC.Parser.PostProcess.mkOpaquePragma) this guard never fires for @@ -2075,7 +2075,7 @@ mkSeqs seqees res_ty rhs = = rhs specConstrRuleActivation :: InlinePragmaInfo -> ActivationGhc --- See Note [SpecConstr rule activation] +-- See Note [SpecConstr: rule activation] specConstrRuleActivation fn_prag = activeAfter $ nextPhase $ beginPhase $ inlinePragmaActivation fn_prag @@ -2129,7 +2129,7 @@ The void argument must follow the foralls, lest the forall be ill-kinded. See Note [Worker/wrapper needs to add void arg last] in GHC.Core.Opt.WorkWrap.Utils. -Note [SpecConstr rule activation] +Note [SpecConstr: rule activation] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ When should the RULE generated by SpecConstr be activated? See the function `specConstrRuleActivation`. @@ -2163,15 +2163,13 @@ Goal 1: "SC:1" won't fire in f's unfolding; see Note [What is active in the RHS of a RULE or unfolding?] Goal 2: "SPEC:f" has the same activation as `f`; - see Note [Auto-specialisation and RULES]). So "SPEC:f" will fire + see Note [Specialise: rule activation]. So "SPEC:f" will fire before "SC:1" -Other points: - -* c.f. Note [Auto-specialisation and RULES] in GHC.Core.Opt.Specialise. -* his in turn means there is no point in specialising NOINLINE things, -so we test for that. +Wrinkles +(SCRA1) If `f` is NOINLINE we arguably don't want a specialisation at all. + See (SRA1) in GHC.Core.Opt.Specialise. At least that's the choice for now. Note [generaliseDictPats] ~~~~~~~~~~~~~~~~~~~~~~~~~ ===================================== compiler/GHC/Core/Opt/Specialise.hs ===================================== @@ -1588,7 +1588,7 @@ specCalls spec_imp env existing_rules calls_for_me fn rhs | notNull calls_for_me -- And there are some calls to specialise && not (isNeverActive (idInlineActivation fn)) -- Don't specialise NOINLINE things - -- See Note [Auto-specialisation and RULES] + -- See (SRA1) in Note [Specialise: rule activation] -- -- Don't specialise OPAQUE things, see Note [OPAQUE pragma]. -- Since OPAQUE things are always never-active (see @@ -1619,7 +1619,7 @@ specCalls spec_imp env existing_rules calls_for_me fn rhs fn_unf = realIdUnfolding fn -- Ignore loop-breaker-ness here fn_prag = idInlinePragma fn rule_act = inlinePragmaActivation fn_prag - -- rule_act: see Note [Auto-specialisation and RULES] + -- rule_act: see Note [Specialise: rule activation] is_active :: ActivationGhc -> Bool is_active = isActive (SimplPhaseRange (beginPhase rule_act) (endPhase rule_act)) -- is_active: rule_act is the activation we are going to put in the new @@ -2361,8 +2361,8 @@ argument pattern. Wrinkles (SC3) Annoyingly, we /also/ eliminate duplicates in `filterCalls`. See (MP3) in Note [Specialising polymorphic dictionaries] -Note [Auto-specialisation and RULES] -~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Note [Specialise: rule activation] +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Consider: g :: Num a => a -> a g = ... @@ -2383,15 +2383,22 @@ also add RULE f g_spec = 0 But that's a bit complicated. For now we lean on the programmer: - * Set the activation of the RULE is the same as the activation of the Id, + + * Make the activation of the RULE be the same as the activation of the Id, i.e. (idInlineActivation g) So if `g` says {-# NOINLINE[2] g #-}, then the auto-spec rule will also not be active until phase 2. And that's what programmers should jolly well do anyway, even aside from specialisation, to ensure that `g` doesn't inline too early. -This in turn means that the RULE would never fire for a NOINLINE -thing so not much point in generating a specialisation at all. +Wrinkles + +(SRA1) This in turn means that the RULE would never fire for a NOINLINE thing + so not much point in generating a specialisation at all. This is a + bit moot: it's not unreasonable to have a (NOINLINE) specialisation for a + NOINLINE function. But currently we don't. And hence we don't create + a specialisation for an OPAQUE function either (see Note [OPAQUE pragma] + in Language.Haskell.Syntax.Binds.InlinePragma. Note [Specialisation shape] ~~~~~~~~~~~~~~~~~~~~~~~~~~~ ===================================== compiler/GHC/Core/Opt/WorkWrap.hs ===================================== @@ -499,7 +499,7 @@ When should the wrapper inlining be active? {-# SPECIALISE foo :: (Int,Int) -> Bool -> Int #-} {-# NOINLINE [n] foo #-} then specialisation will generate a SPEC rule active from Phase n. - See Note [Auto-specialisation and RULES] in GHC.Core.Opt.Specialise + See Note [Specialise: rule activation] in GHC.Core.Opt.Specialise This SPEC specialisation rule will compete with inlining, but we don't mind that, because if inlining succeeds, it should be better. ===================================== compiler/GHC/Core/Rules.hs ===================================== @@ -231,7 +231,7 @@ mkSpecRule dflags this_mod is_auto inl_act herald fn bndrs args rhs where rule = mkRule this_mod is_auto is_local rule_name - inl_act -- Note [Auto-specialisation and RULES] + inl_act -- Note [Specialise: rule activation] (idName fn) bndrs args rhs ===================================== testsuite/tests/simplCore/should_compile/spec-inline.stderr ===================================== @@ -17,7 +17,7 @@ Roman.foo3 Rec { -- RHS size: {terms: 40, types: 5, coercions: 0, joins: 0/0} -Roman.foo_$s$wgo [Occ=LoopBreaker] +Roman.foo_$s$wgo [InlPrag=[2], Occ=LoopBreaker] :: GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Int# [GblId, Arity=2, Str=<A><L>, Unf=OtherCon []] @@ -141,7 +141,7 @@ foo ------ Local rules for imported ids -------- -"SC:$wgo0" [2] +"SC:$wgo0" [1] forall (sc :: GHC.Internal.Prim.Int#) (sc1 :: GHC.Internal.Prim.Int#). Roman.$wgo (GHC.Internal.Maybe.Just View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a47e6e2285bc44eb3d5fbbd1fc21b97… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a47e6e2285bc44eb3d5fbbd1fc21b97… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc] Pushed new branch wip/mtl-2.3.2
by Bodigrim (＠Bodigrim) 11 Jan '26

11 Jan '26

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

1 0

[Git][ghc/ghc][wip/romes/hadrian-cross-stage2-rebase_SVEN_FINAL] WIP: Dirty hack
by Sven Tennie (＠supersven) 11 Jan '26

11 Jan '26

Sven Tennie pushed to branch wip/romes/hadrian-cross-stage2-rebase_SVEN_FINAL at Glasgow Haskell Compiler / GHC Commits: 51ad7c99 by Sven Tennie at 2026-01-11T20:17:52+01:00 WIP: Dirty hack Let Stage0 build with the default.host.target file and decide for other stages if default.target cannot be used. Acutally, I don't like this logic on this level. - - - - - 8 changed files: - hadrian/src/Hadrian/Oracles/TextFile.hs - hadrian/src/Oracles/Setting.hs - hadrian/src/Rules/BinaryDist.hs - hadrian/src/Rules/Generate.hs - hadrian/src/Rules/Lint.hs - hadrian/src/Settings.hs - hadrian/src/Settings/Builders/Hsc2Hs.hs - hadrian/src/Settings/Builders/RunTest.hs Changes: ===================================== hadrian/src/Hadrian/Oracles/TextFile.hs ===================================== @@ -124,8 +124,8 @@ getBuildTarget :: Action Toolchain.Target getBuildTarget = getTargetConfig buildTargetFile -- | Get the host target configuration through 'getTargetConfig' -getHostTarget :: Action Toolchain.Target -getHostTarget = do +getHostTarget :: Stage -> Action Toolchain.Target +getHostTarget stage | stage >= Stage1 = do -- MP: If we are not cross compiling then we should use the target file in order to -- build things for the host, in particular we want to use the configured values for the -- target for building the RTS (ie are we using Libffi for adjustors, and the wordsize) @@ -135,8 +135,7 @@ getHostTarget = do if (Toolchain.targetPlatformTriple ht) == (Toolchain.targetPlatformTriple tt) then return tt else return ht - -- where - -- msg = "The host's target configuration file " ++ quote hostTargetFile ++ " does not exist! ghc-toolchain might have failed to generate it." +getHostTarget _stage {- stage0 -} = getTargetConfig hostTargetFile -- | Get the target target configuration through 'getTargetConfig' getTargetTarget :: Action Toolchain.Target @@ -145,9 +144,8 @@ getTargetTarget = getTargetConfig targetTargetFile queryBuildTarget :: (Toolchain.Target -> a) -> Action a queryBuildTarget f = f <$> getBuildTarget -queryHostTarget :: (Toolchain.Target -> a) -> Action a -queryHostTarget f = f <$> getHostTarget - +queryHostTarget :: Stage -> (Toolchain.Target -> a) -> Action a +queryHostTarget stage f = f <$> getHostTarget stage newtype KeyValue = KeyValue (FilePath, String) deriving (Binary, Eq, Hashable, NFData, Show) ===================================== hadrian/src/Oracles/Setting.hs ===================================== @@ -137,7 +137,7 @@ getSetting = expr . setting bashPath :: Action FilePath bashPath = setting BourneShell -isWinHost :: Action Bool +isWinHost :: Stage -> Action Bool isWinHost = anyHostOs [OSMinGW32] isWinTarget :: Stage -> Action Bool @@ -153,8 +153,8 @@ isArmTarget :: Stage -> Action Bool isArmTarget stage = queryTargetTarget stage (isARM . archOS_arch . tgtArchOs) -- | Check whether the host OS setting matches one of the given strings. -anyHostOs :: [OS] -> Action Bool -anyHostOs oss = (`elem` oss) <$> queryHostTarget (archOS_OS . tgtArchOs) +anyHostOs :: [OS] -> Stage -> Action Bool +anyHostOs oss stage = (`elem` oss) <$> queryHostTarget stage (archOS_OS . tgtArchOs) -- | Check whether the target architecture setting matches one of the given -- strings. @@ -233,7 +233,7 @@ libsuf st way -- For example, we want to build RTS with stage1 for the host target as we -- produce a host executable with stage1 (which cross-compiles to stage2). targetStage :: Stage -> Action Target -targetStage stage | isHostStage stage = getHostTarget +targetStage stage | isHostStage stage = getHostTarget stage targetStage _ = getTargetTarget isHostStage :: Stage -> Bool ===================================== hadrian/src/Rules/BinaryDist.hs ===================================== @@ -326,7 +326,7 @@ bindistRules = do -- phony "binary-dist-dir-stage3" $ buildBinDistDir root targetBindist let buildBinDist compressor = do - win_host <- isWinHost + win_host <- isWinHost Stage1 win_target <- isWinTarget Stage2 when (win_target && win_host) (error "normal binary-dist does not work for windows targets, use `reloc-binary-dist-*` target instead.") buildBinDistX "binary-dist-dir" "bindist" compressor ===================================== hadrian/src/Rules/Generate.hs ===================================== @@ -409,7 +409,7 @@ bindistRules = do , interpolateSetting "ProjectPatchLevel2" ProjectPatchLevel2 , interpolateSetting "ProjectGitCommitId" ProjectGitCommitId - , interpolateVar "HostOS_CPP" $ fmap cppify $ interp $ queryHost queryOS + , interpolateVar "HostOS_CPP" $ fmap cppify $ interp $ queryHost queryOS Stage1 , interpolateVar "TargetPlatform" $ getTarget targetPlatformTriple , interpolateVar "TargetPlatform_CPP" $ cppify <$> getTarget targetPlatformTriple @@ -433,7 +433,7 @@ bindistRules = do , interpolateVar "TargetHasLibm" $ yesNo <$> interp (staged (buildFlag TargetHasLibm)) , interpolateVar "TargetPlatform" $ getTarget targetPlatformTriple , interpolateVar "BuildPlatform" $ interp $ queryBuild targetPlatformTriple - , interpolateVar "HostPlatform" $ interp $ queryHost targetPlatformTriple + , interpolateVar "HostPlatform" $ interp $ queryHost targetPlatformTriple Stage1 , interpolateVar "TargetWordBigEndian" $ getTarget isBigEndian , interpolateVar "TargetWordSize" $ getTarget wordSize , interpolateVar "Unregisterised" $ yesNo <$> getTarget tgtUnregisterised @@ -523,7 +523,7 @@ generateConfigHs = do let chooseSetting x y = case stage of { Stage0 {} -> x; _ -> y } let queryTarget f = f <$> expr (targetStage stage) -- Not right for stage3 - buildPlatform <- chooseSetting (queryBuild targetPlatformTriple) (queryHost targetPlatformTriple) + buildPlatform <- chooseSetting (queryBuild targetPlatformTriple) (queryHost targetPlatformTriple stage) hostPlatform <- queryTarget targetPlatformTriple trackGenerateHs cProjectName <- getSetting ProjectName @@ -626,9 +626,9 @@ generatePlatformHostHs = do stage <- getStage let chooseHostQuery = case stage of Stage0 {} -> queryHost - _ -> queryTarget stage - cHostPlatformArch <- chooseHostQuery (archOS_arch . tgtArchOs) - cHostPlatformOS <- chooseHostQuery (archOS_OS . tgtArchOs) + _ -> flip queryTarget + cHostPlatformArch <- chooseHostQuery (archOS_arch . tgtArchOs) stage + cHostPlatformOS <- chooseHostQuery (archOS_OS . tgtArchOs) stage return $ unlines [ "module GHC.Platform.Host where" , "" ===================================== hadrian/src/Rules/Lint.hs ===================================== @@ -42,7 +42,7 @@ runHLint :: [FilePath] -- ^ include directories -> Action () runHLint includeDirs defines dir = do threads <- shakeThreads <$> getShakeOptions - hostArch <- (<> "_HOST_ARCH") <$> queryHostTarget queryArch + hostArch <- (<> "_HOST_ARCH") <$> queryHostTarget Stage1 queryArch let hlintYaml = dir </> ".hlint.yaml" defines' = hostArch : defines cmdLine = unwords $ ===================================== hadrian/src/Settings.hs ===================================== @@ -119,9 +119,11 @@ unsafeFindPackageByPath path = err $ find (\pkg -> pkgPath pkg == path) knownPac -- Be careful querying values from the HOST and BUILD targets until the targets -- are only generated by ghc-toolchain: -- See Note [The dummy values in the HOST target description] -queryBuild, queryHost :: (Target -> a) -> Expr a +queryBuild :: (Target -> a) -> Expr a queryBuild f = expr $ queryBuildTarget f -queryHost f = expr $ queryHostTarget f + +queryHost :: (Target -> a) -> Stage -> Expr a +queryHost f stage = expr $ queryHostTarget stage f queryArch, queryOS, queryVendor :: Target -> String queryArch = stringEncodeArch . archOS_arch . tgtArchOs ===================================== hadrian/src/Settings/Builders/Hsc2Hs.hs ===================================== @@ -13,8 +13,8 @@ hsc2hsBuilderArgs = builder Hsc2Hs ? do ccPath <- getBuilderPath $ Cc CompileC stage gmpDir <- staged (buildSetting GmpIncludeDir) top <- expr topDirectory - hArch <- queryHost queryArch - hOs <- queryHost queryOS + hArch <- queryHost queryArch stage + hOs <- queryHost queryOS stage tArch <- queryTarget stage queryArch tOs <- queryTarget stage queryOS version <- case stage of ===================================== hadrian/src/Settings/Builders/RunTest.hs ===================================== @@ -124,7 +124,7 @@ inTreeCompilerArgs stg = do debugged <- ghcDebugged <$> flavour <*> pure ghcStage profiled <- ghcProfiled <$> flavour <*> pure ghcStage - os <- queryHostTarget queryOS + os <- queryHostTarget ghcStage queryOS arch <- queryTargetTarget ghcStage queryArch let codegen_arches = ["x86_64", "i386", "powerpc", "powerpc64", "powerpc64le", "aarch64", "wasm32", "riscv64", "loongarch64"] let withNativeCodeGen View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/51ad7c997c1c36db4727d4f3b8a2c73… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/51ad7c997c1c36db4727d4f3b8a2c73… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 13 commits: ghc-internal: Move STM utilities out of GHC.Internal.Conc.Sync
by Marge Bot (＠marge-bot) 11 Jan '26

11 Jan '26

Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC Commits: 039bac4c by Ben Gamari at 2026-01-09T20:22:16-05:00 ghc-internal: Move STM utilities out of GHC.Internal.Conc.Sync This is necessary to avoid an import cycle on Windows when importing `GHC.Internal.Exception.Context` in `GHC.Internal.Conc.Sync`. On the road to address #25365. - - - - - 8c389e8c by Ben Gamari at 2026-01-09T20:22:16-05:00 base: Capture backtrace from throwSTM Implements core-libraries-committee#297. Fixes #25365. - - - - - e1ce1fc3 by Ben Gamari at 2026-01-09T20:22:16-05:00 base: Annotate rethrown exceptions in catchSTM with WhileHandling Implements core-libraries-committee#298 - - - - - c4ebdbdf by Cheng Shao at 2026-01-09T20:23:06-05:00 compiler: make getPrim eagerly evaluate its result This commit makes `GHC.Utils.Binary.getPrim` eagerly evaluate its result, to avoid accidental laziness when future patches build other binary parsers using `getPrim`. - - - - - 66a0c4f7 by Cheng Shao at 2026-01-09T20:23:06-05:00 compiler: implement fast get/put for Word16/Word32/Word64 Previously, `GHC.Utils.Binary` contains `get`/`put` functions for `Word16`/`Word32`/`Word64` which always loads and stores them as big-endian words at a potentially unaligned address. The previous implementation is based on loads/stores of individual bytes and concatenating bytes with bitwise operations, which currently cannot be fused to a single load/store operation by GHC. This patch implements fast `get`/`put` functions for `Word16`/`Word32`/`Word64` based on a single memory load/store, with an additional `byteSwap` operation on little-endian hosts. It is based on unaligned load/store primops added since GHC 9.10, and we already require booting with at least 9.10, so it's about time to switch to this faster path. - - - - - 641ec3f0 by Simon Peyton Jones at 2026-01-09T20:23:55-05:00 Fix scoping errors in specialisation Using -fspecialise-aggressively in #26682 showed up a couple of subtle errors in the type-class specialiser. * dumpBindUDs failed to call `deleteCallsMentioning`, resulting in a call that mentioned a dictionary that was not in scope. This call has been missing since 2009! commit c43c981705ec33da92a9ce91eb90f2ecf00be9fe Author: Simon Peyton Jones <simonpj(a)microsoft.com> Date: Fri Oct 23 16:15:51 2009 +0000 Fixed by re-combining `dumpBindUDs` and `dumpUDs`. * I think there was another bug involving the quantified type variables in polymorphic specialisation. In any case I refactored `specHeader` and `spec_call` so that the former looks for the extra quantified type variables rather than the latter. This is quite a worthwhile simplification: less code, easier to grok. Test case in simplCore/should_compile/T26682, brilliantly minimised by @sheaf. - - - - - 2433e91d by Cheng Shao at 2026-01-09T20:24:43-05:00 compiler: change sectionProtection to take SectionType argument This commit changes `sectionProtection` to only take `SectionType` argument instead of whole `Section`, since it doesn't need the Cmm section content anyway, and it can then be called in parts of NCG where we only have a `SectionType` in scope. - - - - - e5926fbe by Cheng Shao at 2026-01-09T20:24:43-05:00 compiler: change isInitOrFiniSection to take SectionType argument This commit changes `isInitOrFiniSection` to only take `SectionType` argument instead of whole `Section`, since it doesn't need the Cmm section content anyway, and it can then be called in parts of NCG where we only have a `SectionType` in scope. Also marks it as exported. - - - - - 244d57d7 by Cheng Shao at 2026-01-09T20:24:43-05:00 compiler: fix split sections on windows This patch fixes split sections on windows by emitting the right COMDAT section header in NCG, see added comment for more explanation. Fix #26696 #26494. ------------------------- Metric Decrease: LargeRecord T9675 size_hello_artifact size_hello_artifact_gzip size_hello_unicode size_hello_unicode_gzip Metric Increase: T13035 ------------------------- Co-authored-by: Codex <codex(a)openai.com> - - - - - 182f3d0f by Cheng Shao at 2026-01-09T20:25:28-05:00 iserv: add comment about -fkeep-cafs - - - - - 49675b69 by Matthew Craven at 2026-01-09T20:26:14-05:00 Account for "stupid theta" in demand sig for DataCon wrappers Fixes #26748. - - - - - 95773d28 by Samuel Thibault at 2026-01-10T16:03:18+01:00 Fix the OS string encoding for GNU/Hurd Following https://github.com/haskell/cabal/pull/9434/files , and as seen in the various gnu_HOST_OS usages in the source code, it is expected that GNU/Hurd is advertised as "gnu", like the autotools do. - - - - - 41e3903a by Sven Tennie at 2026-01-11T13:31:18-05:00 Ignore Windows CI tool directories in Git Otherwise, we see thousands of changes in `git status` which is very confusing to work with. - - - - - 36 changed files: - .gitignore - compiler/GHC/Cmm.hs - compiler/GHC/Cmm/InitFini.hs - compiler/GHC/CmmToAsm/AArch64/Ppr.hs - compiler/GHC/CmmToAsm/Ppr.hs - compiler/GHC/CmmToAsm/Wasm/FromCmm.hs - compiler/GHC/CmmToAsm/X86/Ppr.hs - compiler/GHC/CmmToC.hs - compiler/GHC/CmmToLlvm/Data.hs - compiler/GHC/Core/Opt/Specialise.hs - compiler/GHC/Types/Id/Make.hs - compiler/GHC/Utils/Binary.hs - libraries/base/changelog.md - libraries/base/src/GHC/Conc.hs - libraries/base/src/GHC/Conc/Sync.hs - libraries/ghc-internal/ghc-internal.cabal.in - libraries/ghc-internal/src/GHC/Internal/Conc/IO.hs - libraries/ghc-internal/src/GHC/Internal/Conc/POSIX.hs - libraries/ghc-internal/src/GHC/Internal/Conc/Sync.hs - libraries/ghc-internal/src/GHC/Internal/Conc/Sync.hs-boot - libraries/ghc-internal/src/GHC/Internal/Conc/Windows.hs - libraries/ghc-internal/src/GHC/Internal/Event/Thread.hs - libraries/ghc-internal/src/GHC/Internal/Event/Windows/Thread.hs - + libraries/ghc-internal/src/GHC/Internal/STM.hs - libraries/ghc-platform/src/GHC/Platform/ArchOS.hs - + testsuite/tests/dmdanal/should_run/T26748.hs - + testsuite/tests/dmdanal/should_run/T26748.stdout - testsuite/tests/dmdanal/should_run/all.T - testsuite/tests/interface-stability/base-exports.stdout - testsuite/tests/interface-stability/base-exports.stdout-javascript-unknown-ghcjs - testsuite/tests/interface-stability/base-exports.stdout-mingw32 - testsuite/tests/interface-stability/base-exports.stdout-ws-32 - + testsuite/tests/simplCore/should_compile/T26682.hs - + testsuite/tests/simplCore/should_compile/T26682a.hs - testsuite/tests/simplCore/should_compile/all.T - utils/iserv/iserv.cabal.in The diff was not included because it is too large. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/f2077450a58c4911e119c7cbb01c1e… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/f2077450a58c4911e119c7cbb01c1e… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/T26707] Set default eventlog-flush-interval to 5s
by Teo Camarasu (＠teo) 11 Jan '26

11 Jan '26

Teo Camarasu pushed to branch wip/T26707 at Glasgow Haskell Compiler / GHC Commits: ec060910 by Teo Camarasu at 2026-01-11T18:23:50+00:00 Set default eventlog-flush-interval to 5s Resolves #26707 - - - - - 2 changed files: - docs/users_guide/9.16.1-notes.rst - rts/RtsFlags.c Changes: ===================================== docs/users_guide/9.16.1-notes.rst ===================================== @@ -2,168 +2,59 @@ Version 9.16.1 ============== - The significant changes to the various parts of the compiler are listed in the following sections. See the `migration guide <https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.16>`_ on the GHC Wiki for specific guidance on migrating programs to this release. -Language -~~~~~~~~ - -- Fix a bug introduced in GHC 9.10 where GHC would erroneously accept infix uses - of promoted data constructors without enabling :extension:`DataKinds`. As a - result, you may need to enable :extension:`DataKinds` in code that did not - previously require it. -- ``Type`` and ``Constraint`` are now (at last) completely distinct types, just as much - as ``Int`` and ``Bool``. For example, you can now - write:: +Compiler +~~~~~~~~ - type family F a - type instance F Type = Int - type instance F Constraint = Bool +Profiling +~~~~~~~~~ - which was previously rejected with "Conflicting family instance declarations". -- The extension :extension:`ExplicitNamespaces` now allows namespace-specified - wildcards ``type ..`` and ``data ..`` in import and export lists. +Native code generator backend +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -Compiler -~~~~~~~~ -- Code coverage's (:ghc-flag:`-fhpc`) treatment of record fields now extends - beyond record fields accessed via :extension:`RecordWildCards` and - :extension:`NamedFieldPuns`, and also handles access to nested record fields. - That is, in a pattern such as ``Foo{bar = Bar{baz = b}}`` both ``bar`` and - ``baz`` will now be marked as covered if ``b`` is evaluated. Note that this - currently only works when record fields (or values contained within them) are - bound to variables. The very similar pattern ``Foo{bar = Bar{baz = 42}}`` - will will not yet mark ``bar`` or ``baz`` as covered. +LLVM backend +~~~~~~~~~~~~ -- Pattern synonyms can now be suggested as valid hole fits (except, of course, - if they are unidirectional). -- GHC uses the information from the definition of a *closed* type family to - generate some extra functional dependencies for type equalities involving - that type family. As a consequence: - * typechecking will succeed a bit more often (see :ghc-ticket:`23162`) - * pattern-match incompleteness checking is a bit smarter, giving fewer false warnings (see :ghc-ticket:`#22652`) +JavaScript backend +~~~~~~~~~~~~~~~~~~ -- When multiple ``-msse*`` flags are given, the maximum version takes effect. - For example, ``-msse4.2 -msse2`` is now equivalent to ``-msse4.2``. - Previously, only the last flag took effect. -- Some x86 architecture flags now imply other flags. - For example, :ghc-flag:`-mavx` now implies :ghc-flag:`-msse4.2`, - and :ghc-flag:`-mavx512f` now implies :ghc-flag:`-mfma` - in addition to :ghc-flag:`-mavx2`. - Refer to the users' guide for more details about each individual flag. +WebAssembly backend +~~~~~~~~~~~~~~~~~~~ GHCi ~~~~ + Runtime system ~~~~~~~~~~~~~~ -- Add a new `poll` I/O manager, based on the classic unix `poll()` API. It is - available in the single-threaded RTS on posix platforms. The `select` I/O - manager remains the default for this combination for now, but this default - may change in future releases. The new I/O manager can be selected via the - runtime flag :rts-flag:`--io-manager=(name)`. - - Compared to the `select` I/O manager, this one has slightly less severe - restrictions on the number of sockets/pipes that can be waited on, though - it still scales poorly for waiting on socket/pipe readiness. It does however - scale much better for thread timers (such as `threadDelay`), and improves - timer precision on 32bit Linux and 32bit FreeBSD from milliseconds to - microseconds. - - This I/O manager introduces new infrastructure for I/O managers that is - intended to be used in future for a new generation of in-RTS I/O managers, - using more scalable platform-specific APIs (such as epoll, io_uring and - kqueue). This first one, based on `poll()`, is merely intended to be - portable. - +- The default for :rts-flag:`--eventlog-flush-interval=⟨seconds⟩` has changed from being disabled to being enabled with a flush inverval of 5 seconds. -Cmm -~~~ - -``base`` library -~~~~~~~~~~~~~~~~ - -- Updated to `Unicode 17.0.0 - <https://www.unicode.org/versions/Unicode17.0.0>`_. - -``ghc-prim`` library -~~~~~~~~~~~~~~~~~~~~ +Build system and packaging +~~~~~~~~~~~~~~~~~~~~~~~~~~ ``ghc`` library ~~~~~~~~~~~~~~~ + ``ghc-heap`` library ~~~~~~~~~~~~~~~~~~~~ -``ghc-experimental`` library -~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - -- New SIMD primops for bitwise logical operations on 128-wide vectors. -``template-haskell`` library +``ghc-experimental`` library ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -- We have added the ``addDependentDirectory`` function to match - ``addDependentFile``, which adds a directory to the list of dependencies that - the recompilation checker will look at to determine if a module needs to be - recompiled. - Included libraries ~~~~~~~~~~~~~~~~~~ - -The package database provided with this distribution also contains a number of -packages other than GHC itself. See the changelogs provided with these packages -for further change information. - -.. ghc-package-list:: - - libraries/array/array.cabal: Dependency of ``ghc`` library - libraries/base/base.cabal: Core library - libraries/binary/binary.cabal: Dependency of ``ghc`` library - libraries/bytestring/bytestring.cabal: Dependency of ``ghc`` library - libraries/Cabal/Cabal/Cabal.cabal: Dependency of ``ghc-pkg`` utility - libraries/Cabal/Cabal-syntax/Cabal-syntax.cabal: Dependency of ``ghc-pkg`` utility - libraries/containers/containers/containers.cabal: Dependency of ``ghc`` library - libraries/deepseq/deepseq.cabal: Dependency of ``ghc`` library - libraries/directory/directory.cabal: Dependency of ``ghc`` library - libraries/exceptions/exceptions.cabal: Dependency of ``ghc`` and ``haskeline`` library - libraries/filepath/filepath.cabal: Dependency of ``ghc`` library - compiler/ghc.cabal: The compiler itself - libraries/ghci/ghci.cabal: The REPL interface - libraries/ghc-boot/ghc-boot.cabal: Internal compiler library - libraries/ghc-boot-th/ghc-boot-th.cabal: Internal compiler library - libraries/ghc-compact/ghc-compact.cabal: Core library - libraries/ghc-heap/ghc-heap.cabal: GHC heap-walking library - libraries/ghc-prim/ghc-prim.cabal: Core library - utils/haddock/haddock-api/haddock-api.cabal: Dependency of ``haddock`` executable - utils/haddock/haddock-library/haddock-library.cabal: Dependency of ``haddock`` executable - libraries/haskeline/haskeline.cabal: Dependency of ``ghci`` executable - libraries/hpc/hpc.cabal: Dependency of ``hpc`` executable - libraries/integer-gmp/integer-gmp.cabal: Core library - libraries/mtl/mtl.cabal: Dependency of ``Cabal`` library - libraries/parsec/parsec.cabal: Dependency of ``Cabal`` library - libraries/pretty/pretty.cabal: Dependency of ``ghc`` library - libraries/process/process.cabal: Dependency of ``ghc`` library - libraries/stm/stm.cabal: Dependency of ``haskeline`` library - libraries/template-haskell/template-haskell.cabal: Core library - libraries/terminfo/terminfo.cabal: Dependency of ``haskeline`` library - libraries/text/text.cabal: Dependency of ``Cabal`` library - libraries/time/time.cabal: Dependency of ``ghc`` library - libraries/transformers/transformers.cabal: Dependency of ``ghc`` library - libraries/unix/unix.cabal: Dependency of ``ghc`` library - libraries/Win32/Win32.cabal: Dependency of ``ghc`` library - libraries/xhtml/xhtml.cabal: Dependency of ``haddock`` executable - libraries/os-string/os-string.cabal: Dependency of ``filepath`` library - libraries/file-io/file-io.cabal: Dependency of ``directory`` library ===================================== rts/RtsFlags.c ===================================== @@ -250,7 +250,7 @@ void initRtsFlagsDefaults(void) RtsFlags.TraceFlags.ticky = false; RtsFlags.TraceFlags.trace_output = NULL; # if defined(THREADED_RTS) - RtsFlags.TraceFlags.eventlogFlushTime = 0; + RtsFlags.TraceFlags.eventlogFlushTime = SecondsToTime(5); // 5s # endif RtsFlags.TraceFlags.nullWriter = false; #endif View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/ec0609104e086e0e20925a76619d197… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/ec0609104e086e0e20925a76619d197… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc] Pushed new branch wip/bump-autoconf
by Cheng Shao (＠TerrorJack) 11 Jan '26

11 Jan '26

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

1 0

[Git][ghc/ghc] Pushed new branch wip/supersven/gitignores-for-windows-ci
by Sven Tennie (＠supersven) 11 Jan '26

11 Jan '26

Sven Tennie pushed new branch wip/supersven/gitignores-for-windows-ci at Glasgow Haskell Compiler / GHC -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/tree/wip/supersven/gitignores-for-wind… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc] Pushed new branch wip/cross-windows-wine-iserv
by Cheng Shao (＠TerrorJack) 11 Jan '26

11 Jan '26

Cheng Shao pushed new branch wip/cross-windows-wine-iserv at Glasgow Haskell Compiler / GHC -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/tree/wip/cross-windows-wine-iserv You're receiving this email because of your account on gitlab.haskell.org.

1 0