- ghc-commits - Haskell.org

[Git][ghc/ghc][wip/sjakobi/T13729] Add regression test for #13729
by Simon Jakobi (＠sjakobi2) 06 Mar '26

06 Mar '26

Simon Jakobi pushed to branch wip/sjakobi/T13729 at Glasgow Haskell Compiler / GHC Commits: 100877c6 by Simon Jakobi at 2026-03-06T14:50:27+01:00 Add regression test for #13729 Closes #13729. - - - - - 11 changed files: - + testsuite/tests/driver/T13729/Makefile - + testsuite/tests/driver/T13729/Setup.hs - + testsuite/tests/driver/T13729/all.T - + testsuite/tests/driver/T13729/p/Setup.hs - + testsuite/tests/driver/T13729/p/TH.hs - + testsuite/tests/driver/T13729/p/Types.hs - + testsuite/tests/driver/T13729/p/Types2.hs - + testsuite/tests/driver/T13729/p/p.cabal - + testsuite/tests/driver/T13729/q/Main.hs - + testsuite/tests/driver/T13729/q/Setup.hs - + testsuite/tests/driver/T13729/q/q.cabal Changes: ===================================== testsuite/tests/driver/T13729/Makefile ===================================== @@ -0,0 +1,39 @@ +TOP=../../.. +include $(TOP)/mk/boilerplate.mk +include $(TOP)/mk/test.mk + +SETUP='$(PWD)/Setup' -v0 +CONFIGURE=$(SETUP) configure $(CABAL_MINIMAL_BUILD) --with-ghc='$(TEST_HC)' --with-hc-pkg='$(GHC_PKG)' --ghc-options='$(filter-out -rtsopts,$(TEST_HC_OPTS))' --package-db='$(PWD)/tmp.d' --prefix='$(PWD)/inst' $(VANILLA) $(PROF) $(DYN) + +T13729: + '$(GHC_PKG)' init tmp.d + '$(TEST_HC)' $(TEST_HC_OPTS) -v0 --make Setup + + # Build package A with the checked-in Foo definition. + rm -rf p/dist + (cd p; $(CONFIGURE) --ipid "A-0.1") + (cd p; $(SETUP) build) + (cd p; $(SETUP) copy) + (cd p; $(SETUP) register) + + # Build package B and record the splice output. + rm -rf q/dist + (cd q; $(CONFIGURE) --ipid "B-0.1") + (cd q; $(SETUP) build) + (cd q; $(SETUP) copy) + (cd q; $(SETUP) register) + ./inst/bin/B > out1 + grep -q Bar out1 + ! grep -q Baz out1 + + # Overwrite Types.hs with the second Foo definition, rebuild A, then rebuild B + # without -fforce-recomp. + cp p/Types2.hs p/Types.hs + (cd p; $(SETUP) build) + (cd p; $(SETUP) copy) + (cd p; $(SETUP) register) + (cd q; $(SETUP) build) + (cd q; $(SETUP) copy) + (cd q; $(SETUP) register) + ./inst/bin/B > out2 + grep -q Baz out2 ===================================== testsuite/tests/driver/T13729/Setup.hs ===================================== @@ -0,0 +1,2 @@ +import Distribution.Simple +main = defaultMain ===================================== testsuite/tests/driver/T13729/all.T ===================================== @@ -0,0 +1,20 @@ +if config.have_vanilla: + vanilla = '--enable-library-vanilla' +else: + vanilla = '--disable-library-vanilla' + +if config.have_profiling: + prof = '--enable-library-profiling' +else: + prof = '--disable-library-profiling' + +if not config.compiler_profiled and config.have_dynamic: + dyn = '--enable-shared' +else: + dyn = '--disable-shared' + +test('T13729', [extra_files(['p', 'q', 'Setup.hs']), + when(fast(), skip), + js_broken(22349)], + run_command, + ['$MAKE -s --no-print-directory T13729 VANILLA=' + vanilla + ' PROF=' + prof + ' DYN=' + dyn]) ===================================== testsuite/tests/driver/T13729/p/Setup.hs ===================================== @@ -0,0 +1,2 @@ +import Distribution.Simple +main = defaultMain ===================================== testsuite/tests/driver/T13729/p/TH.hs ===================================== @@ -0,0 +1,8 @@ +{-# LANGUAGE TemplateHaskell #-} +module TH where + +import Language.Haskell.TH +import Language.Haskell.TH.Syntax +import Types + +th_string = lift . show =<< reify ''Foo ===================================== testsuite/tests/driver/T13729/p/Types.hs ===================================== @@ -0,0 +1,3 @@ +module Types where + +data Foo = Bar | Baz ===================================== testsuite/tests/driver/T13729/p/Types2.hs ===================================== @@ -0,0 +1,3 @@ +module Types where + +data Foo = Bar | Baz ===================================== testsuite/tests/driver/T13729/p/p.cabal ===================================== @@ -0,0 +1,10 @@ +cabal-version: 2.2 +name: A +version: 0.1.0.0 +build-type: Simple + +library + exposed-modules: TH, Types + hs-source-dirs: . + build-depends: base >=4.14 && <5, template-haskell + default-language: Haskell2010 ===================================== testsuite/tests/driver/T13729/q/Main.hs ===================================== @@ -0,0 +1,6 @@ +{-# LANGUAGE TemplateHaskell #-} +module Main where + +import TH + +main = putStrLn $(th_string) ===================================== testsuite/tests/driver/T13729/q/Setup.hs ===================================== @@ -0,0 +1,2 @@ +import Distribution.Simple +main = defaultMain ===================================== testsuite/tests/driver/T13729/q/q.cabal ===================================== @@ -0,0 +1,10 @@ +cabal-version: 2.2 +name: B +version: 0.1.0.0 +build-type: Simple + +executable B + main-is: Main.hs + hs-source-dirs: . + build-depends: base >=4.14 && <5, A + default-language: Haskell2010 View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/100877c615a5405476a5a7824d64d18… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/100877c615a5405476a5a7824d64d18… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/sjakobi/regression-tests-3] Add regression test for #11141
by Simon Jakobi (＠sjakobi2) 06 Mar '26

06 Mar '26

Simon Jakobi pushed to branch wip/sjakobi/regression-tests-3 at Glasgow Haskell Compiler / GHC Commits: b3d5bc61 by Simon Jakobi at 2026-03-06T14:32:49+01:00 Add regression test for #11141 Closes #11141. - - - - - 3 changed files: - + testsuite/tests/typecheck/should_compile/T11141.hs - + testsuite/tests/typecheck/should_compile/T11141.stderr - testsuite/tests/typecheck/should_compile/all.T Changes: ===================================== testsuite/tests/typecheck/should_compile/T11141.hs ===================================== @@ -0,0 +1,28 @@ +{-# LANGUAGE FunctionalDependencies #-} +{-# LANGUAGE InstanceSigs #-} +{-# LANGUAGE ScopedTypeVariables #-} +module T11141 where + +data F a = F a +instance Show a => Show (F a) where + show :: forall a. Show a => F a -> String + show (F x) = show x + +{- Previously emitted error: + + Could not deduce (Show a0) + from the context (Show a) + bound by the type signature for show :: Show a => F a -> String + at A.hs:8:13-45 + The type variable ‘a0’ is ambiguous + When checking that: + forall a. Show a => forall a1. Show a1 => F a1 -> String + is more polymorphic than: forall a. Show a => F a -> String + When checking that instance signature for ‘show’ + is more general than its signature in the class + Instance sig: forall a. + Show a => + forall a1. Show a1 => F a1 -> String + Class sig: forall a. Show a => F a -> String + In the instance declaration for ‘Show (F a)’ +-} ===================================== testsuite/tests/typecheck/should_compile/T11141.stderr ===================================== @@ -0,0 +1,4 @@ +T11141.hs:8:20: warning: [GHC-63397] [-Wname-shadowing (in -Wall)] + This binding for ‘a’ shadows the existing binding + bound at T11141.hs:7:10 + ===================================== testsuite/tests/typecheck/should_compile/all.T ===================================== @@ -496,6 +496,7 @@ test('T10770b', expect_broken(10770), compile, ['']) test('T10935', normal, compile, ['']) test('T10971a', normal, compile, ['']) test('T11062', [extra_files(['T11062.hs', 'T11062.hs-boot', 'T11062a.hs'])], multimod_compile, ['T11062', '-v0']) +test('T11141', normal, compile, ['-Wname-shadowing']) test('T11237', normal, compile, ['']) test('T10592', normal, compile, ['']) test('T11305', normal, compile, ['']) View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/b3d5bc6112a8ec17ab30e5ac16ee69d… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/b3d5bc6112a8ec17ab30e5ac16ee69d… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc] Pushed new branch wip/fix-head
by Cheng Shao (＠TerrorJack) 06 Mar '26

06 Mar '26

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

1 0

[Git][ghc/ghc] Deleted branch wip/fix-head
by Cheng Shao (＠TerrorJack) 06 Mar '26

06 Mar '26

Cheng Shao deleted branch wip/fix-head at Glasgow Haskell Compiler / GHC -- You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 19 commits: Correct `hIsReadable` and `hIsWritable` for duplex handles
by Marge Bot (＠marge-bot) 06 Mar '26

06 Mar '26

Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC Commits: 598db847 by Wolfgang Jeltsch at 2026-03-06T06:25:25-05:00 Correct `hIsReadable` and `hIsWritable` for duplex handles This contribution implements CLC proposal #371. It changes `hIsReadable` and `hIsWritable` such that they always throw a respective exception when encountering a closed or semi-closed handle, not just in the case of a file handle. - - - - - b90201e5 by Wolfgang Jeltsch at 2026-03-06T06:25:25-05:00 Document `SemiClosedHandle` - - - - - c9df72b5 by Wolfgang Jeltsch at 2026-03-06T06:25:25-05:00 Tell users what “semi-closed” means for duplex handles - - - - - a8aa1868 by Ilias Tsitsimpis at 2026-03-06T06:26:29-05:00 Fix determinism of linker arguments The switch from Data.Map to UniqMap in 3b5be05ac29 introduced non-determinism in the order of packages passed to the linker. This resulted in non-reproducible builds where the DT_NEEDED entries in dynamic libraries were ordered differently across builds. Fix the regression by explicitly sorting the package list derived from UniqMap. Fixes #26838 - - - - - 9b64ad3a by Matthew Pickering at 2026-03-06T06:27:16-05:00 determinism: Use a deterministic renaming when writing bytecode files Now when writing the bytecode file, a counter and substitution are used to provide deterministic keys to local variables (rather than relying on uniques). This change ensures that `.gbc` are produced deterministically. Fixes #26499 - - - - - d29800e0 by Teo Camarasu at 2026-03-06T06:28:46-05:00 ghc-internal: delete Version hs-boot loop Version has a Read instance which needs Unicode but part of the Unicode interface is the unicode version. This is easy to resolve. We simply don't re-export the version from the Unicode module. Resolves #26940 - - - - - ad25af90 by Sylvain Henry at 2026-03-06T06:30:33-05:00 Linker: implement support for COMMON symbols (#6107) Add some support for COMMON symbols. We don't support common symbols having different sizes where the larger one is allocated after the smaller one. The linker will fail with an appropriate error message if it happens. - - - - - 3b59f158 by Cheng Shao at 2026-03-06T06:31:16-05:00 compiler: fix redundant import of GHC.Hs.Lit This patch removes a redundant import of `GHC.Hs.Lit` which causes a ghc build failure with validate flavours when bootstrapping from 9.14. Fixes #26972. - - - - - 148d36f3 by Cheng Shao at 2026-03-06T06:32:01-05:00 compiler: avoid unneeded traversals in GHC.Unit.State Following !15591, this patch avoids unneeded traversals in `reportCycles`/`reportUnusable` when log verbosity is below given threshold. Also applies `logVerbAtLeast` when appropriate. Co-authored-by: Codex <codex(a)openai.com> - - - - - 7e31367c by Cheng Shao at 2026-03-06T06:32:46-05:00 ghc-internal: fix redundant import in GHC.Internal.Event.Windows.ManagedThreadPool This patch fixes redundant import in `GHC.Internal.Event.Windows.ManagedThreadPool` that causes a compilation error when building windows target with validate flavours and bootstrapping from 9.14. Fixes #26976. - - - - - fc8b8e27 by sheaf at 2026-03-06T06:33:28-05:00 System.Info.fullCompilerVersion: add 'since' annot Fixes #26973 - - - - - c8238375 by Sylvain Henry at 2026-03-06T06:34:23-05:00 Hadrian: deprecate --bignum and automatically enable +native_bignum for JS Deprecate --bignum=... to select the bignum backend. It's only used to select the native backend, and this can be done with the +native_bignum flavour transformer. Additionally, we automatically enable +native_bignum for the JS target because the GMP backend isn't supported. - - - - - a3ac7074 by Sylvain Henry at 2026-03-06T06:35:17-05:00 JS: fix putEnum/fromEnum (#24593) Don't go through Word16 when serializing Enums. - - - - - 0b36e96c by Andreas Klebinger at 2026-03-06T06:35:58-05:00 Docs: Document -fworker-wrapper-cbv default setting. Fixes #26841 - - - - - 6b4342eb by mangoiv at 2026-03-06T07:09:26-05:00 drop deb9/10 from CI, add deb13 debian 9 and 10 are end of life, hence we drop them from our CI, but we do add debian 13. Jobs that were previously run on 9 and 10 run on 13, too, jobs that were run on 10, are run on 11 now. Jobs that were previously run on debian 12 are run on debian 13 now. This MR also updates hadrian's bootstrap plans for that reason. Metric Decrease: T9872d - - - - - 73ef9d67 by Luite Stegeman at 2026-03-06T07:09:41-05:00 Fix GHC.Internal.Prim haddock Haddock used to parse Haskell source to generate documentation, but switched to using interface files instead. This broke documentation of the GHC.Internal.Prim module, since it's a wired-in interface that didn't provide a document structure. This patch adds the missing document structure and updates genprimopcode to make the section headers and descriptions available. fixes #26954 - - - - - d91c8909 by Luite Stegeman at 2026-03-06T07:09:41-05:00 Remove obsolete --make-haskell-source from genprimopcode Now that haddock uses the wired-in interface for GHC.Internal.Prim, the generated Haskell source file is no longer needed. Remove the --make-haskell-source code generator from genprimopcode and replace the generated GHC/Internal/Prim.hs with a minimal static source file. - - - - - a463265e by Sylvain Henry at 2026-03-06T07:09:47-05:00 JS: fix linking of exposed but non-preload units (#24886) Units exposed in the unit database but not explicitly passed on the command-line were not considered by the JS linker. This isn't an issue for cabal which passes every unit explicitly but it is an issue when using GHC directly (cf T24886 test). - - - - - a8f0a2d2 by mangoiv at 2026-03-06T07:09:53-05:00 testsuite: double foundation timeout multiplier The runtime timeout in the foundation test was regularly hit by code generated by the wasm backend - we increase the timout since the high runtime is expected on the wasm backend for this rather complex test. Resolves #26938 - - - - - 70 changed files: - .gitlab-ci.yml - .gitlab/generate-ci/gen_ci.hs - .gitlab/jobs.yaml - .gitlab/rel_eng/fetch-gitlab-artifacts/fetch_gitlab.py - .gitlab/rel_eng/mk-ghcup-metadata/mk_ghcup_metadata.py - compiler/GHC/Builtin/PrimOps.hs - compiler/GHC/Builtin/Utils.hs - compiler/GHC/Builtin/primops.txt.pp - compiler/GHC/ByteCode/Serialize.hs - compiler/GHC/Driver/Main.hs - compiler/GHC/Hs/Type.hs - compiler/GHC/Runtime/Interpreter/JS.hs - compiler/GHC/StgToJS/Object.hs - compiler/GHC/Unit/State.hs - compiler/GHC/Utils/Error.hs - docs/users_guide/using-optimisation.rst - hadrian/README.md - hadrian/bootstrap/generate_bootstrap_plans - hadrian/bootstrap/plan-9_10_1.json - hadrian/bootstrap/plan-9_10_2.json - + hadrian/bootstrap/plan-9_10_3.json - hadrian/bootstrap/plan-bootstrap-9_10_1.json - hadrian/bootstrap/plan-bootstrap-9_10_2.json - + hadrian/bootstrap/plan-bootstrap-9_10_3.json - hadrian/src/CommandLine.hs - hadrian/src/Main.hs - hadrian/src/Rules/Generate.hs - hadrian/src/Settings.hs - hadrian/src/Settings/Builders/GenPrimopCode.hs - libraries/base/changelog.md - libraries/base/src/GHC/Unicode.hs - libraries/base/src/System/Info.hs - libraries/ghc-internal/ghc-internal.cabal.in - − libraries/ghc-internal/src/GHC/Internal/Data/Version.hs-boot - libraries/ghc-internal/src/GHC/Internal/Event/Windows/ManagedThreadPool.hs - libraries/ghc-internal/src/GHC/Internal/IO/Handle.hs - libraries/ghc-internal/src/GHC/Internal/IO/Handle/Text.hs - libraries/ghc-internal/src/GHC/Internal/IO/Handle/Types.hs - + libraries/ghc-internal/src/GHC/Internal/Prim.hs - libraries/ghc-internal/src/GHC/Internal/Unicode.hs - libraries/ghc-internal/src/GHC/Internal/Unicode/Version.hs - libraries/ghc-internal/tools/ucd2haskell/exe/UCD2Haskell/ModuleGenerators.hs - rts/Linker.c - rts/LinkerInternals.h - rts/linker/Elf.c - rts/linker/MachO.c - rts/linker/PEi386.c - testsuite/driver/perf_notes.py - testsuite/tests/ghci/should_run/all.T - + testsuite/tests/javascript/T24886.hs - + testsuite/tests/javascript/T24886.stderr - + testsuite/tests/javascript/T24886.stdout - testsuite/tests/javascript/all.T - testsuite/tests/numeric/should_run/all.T - testsuite/tests/overloadedrecflds/should_compile/all.T - testsuite/tests/overloadedrecflds/should_run/all.T - testsuite/tests/pmcheck/should_compile/T11303.hs - testsuite/tests/quasiquotation/qq005/test.T - testsuite/tests/quasiquotation/qq006/test.T - testsuite/tests/rts/linker/Makefile - + testsuite/tests/rts/linker/T6107.hs - + testsuite/tests/rts/linker/T6107.stdout - + testsuite/tests/rts/linker/T6107_sym1.s - + testsuite/tests/rts/linker/T6107_sym2.s - testsuite/tests/rts/linker/all.T - testsuite/tests/saks/should_compile/all.T - testsuite/tests/showIface/all.T - testsuite/tests/th/all.T - testsuite/tests/vdq-rta/should_compile/all.T - utils/genprimopcode/Main.hs The diff was not included because it is too large. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/4281bc8b7b124f8553e2865f027882… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/4281bc8b7b124f8553e2865f027882… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][master] Docs: Document -fworker-wrapper-cbv default setting.
by Marge Bot (＠marge-bot) 06 Mar '26

06 Mar '26

Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC Commits: 0b36e96c by Andreas Klebinger at 2026-03-06T06:35:58-05:00 Docs: Document -fworker-wrapper-cbv default setting. Fixes #26841 - - - - - 1 changed file: - docs/users_guide/using-optimisation.rst Changes: ===================================== docs/users_guide/using-optimisation.rst ===================================== @@ -1925,6 +1925,8 @@ as such you shouldn't need to set any of them explicitly. A flag :type: dynamic :category: optimization + :default: off + Disabling this flag prevents a W/W split if the only benefit would be call-by-value for some arguments. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/0b36e96cb93db71f201aaa055c4a90b… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/0b36e96cb93db71f201aaa055c4a90b… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][master] JS: fix putEnum/fromEnum (#24593)
by Marge Bot (＠marge-bot) 06 Mar '26

06 Mar '26

Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC Commits: a3ac7074 by Sylvain Henry at 2026-03-06T06:35:17-05:00 JS: fix putEnum/fromEnum (#24593) Don't go through Word16 when serializing Enums. - - - - - 1 changed file: - compiler/GHC/StgToJS/Object.hs Changes: ===================================== compiler/GHC/StgToJS/Object.hs ===================================== @@ -406,12 +406,10 @@ readObjectBlocks file bids = do -------------------------------------------------------------------------------- putEnum :: Enum a => WriteBinHandle -> a -> IO () -putEnum bh x | n > 65535 = error ("putEnum: out of range: " ++ show n) - | otherwise = put_ bh n - where n = fromIntegral $ fromEnum x :: Word16 +putEnum bh x = put_ bh (fromEnum x) getEnum :: Enum a => ReadBinHandle -> IO a -getEnum bh = toEnum . fromIntegral <$> (get bh :: IO Word16) +getEnum bh = toEnum <$> (get bh) -- | Helper to convert Int to Int32 toI32 :: Int -> Int32 View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a3ac7074987fb8d72119b1d2ba4df91… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a3ac7074987fb8d72119b1d2ba4df91… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][master] Hadrian: deprecate --bignum and automatically enable +native_bignum for JS
by Marge Bot (＠marge-bot) 06 Mar '26

06 Mar '26

Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC Commits: c8238375 by Sylvain Henry at 2026-03-06T06:34:23-05:00 Hadrian: deprecate --bignum and automatically enable +native_bignum for JS Deprecate --bignum=... to select the bignum backend. It's only used to select the native backend, and this can be done with the +native_bignum flavour transformer. Additionally, we automatically enable +native_bignum for the JS target because the GMP backend isn't supported. - - - - - 4 changed files: - hadrian/README.md - hadrian/src/CommandLine.hs - hadrian/src/Main.hs - hadrian/src/Settings.hs Changes: ===================================== hadrian/README.md ===================================== @@ -101,7 +101,9 @@ Stage2 GHC. * `--skip-depends`: skips rebuilding Haskell module dependency files. -* `--bignum={native,gmp,check-gmp,ffi}`: choose which bignum implementation to use. The default is `gmp`. +* `--bignum={native,gmp,check-gmp,ffi}`: **Deprecated.** Use the `+native_bignum` flavour + transformer instead (e.g. `--flavour=default+native_bignum`). When building for the + JavaScript target, the native bignum backend is enabled automatically. * `--color` and `--no-color`: choose whether to use colors when printing build progress info. By default, Hadrian tries to determine if the terminal supports ===================================== hadrian/src/CommandLine.hs ===================================== @@ -1,5 +1,6 @@ module CommandLine ( optDescrs, cmdLineArgsMap, cmdFlavour, lookupFreeze1, lookupFreeze2, lookupSkipDepends, + lookupBignum, cmdBignum, cmdBignumCheck, cmdProgressInfo, cmdCompleteSetting, cmdDocsArgs, cmdUnitIdHash, lookupBuildRoot, TestArgs(..), TestSpeed(..), defaultTestArgs, cmdPrefix, DocArgs(..), defaultDocArgs @@ -389,6 +390,9 @@ lookupFreeze2 = freeze2 . lookupExtra defaultCommandLineArgs lookupSkipDepends :: Map.HashMap TypeRep Dynamic -> Bool lookupSkipDepends = skipDepends . lookupExtra defaultCommandLineArgs +lookupBignum :: Map.HashMap TypeRep Dynamic -> Maybe String +lookupBignum = bignum . lookupExtra defaultCommandLineArgs + cmdUnitIdHash :: Action Bool cmdUnitIdHash = unitIdHash <$> cmdLineArgs ===================================== hadrian/src/Main.hs ===================================== @@ -34,6 +34,13 @@ main = do -- Provide access to command line arguments and some user settings through -- Shake's type-indexed map 'shakeExtra'. argsMap <- CommandLine.cmdLineArgsMap + case CommandLine.lookupBignum argsMap of + Just _ -> hPutStrLn stderr $ unlines + [ "Warning: --bignum is deprecated." + , " Use the '+native_bignum' flavour transformer instead (e.g. --flavour=default+native_bignum)." + , " When building for the JavaScript target, native bignum is now enabled automatically." + ] + Nothing -> return () let extra = insertExtra UserSettings.buildProgressColour $ insertExtra UserSettings.successColour $ argsMap ===================================== hadrian/src/Settings.hs ===================================== @@ -30,6 +30,7 @@ import Settings.Flavours.Release import Hadrian.Oracles.TextFile import GHC.Toolchain.Target import GHC.Platform.ArchOS +import Oracles.Setting (isJsTarget) getExtraArgs :: Args getExtraArgs = expr flavour >>= extraArgs @@ -44,9 +45,7 @@ getRtsWays :: Ways getRtsWays = expr flavour >>= rtsWays getBignumBackend :: Expr String -getBignumBackend = expr $ cmdBignum >>= \case - Nothing -> bignumBackend <$> flavour - Just b -> pure b +getBignumBackend = bignumBackend <$> expr flavour getBignumCheck :: Expr Bool getBignumCheck = expr $ cmdBignum >>= \case @@ -90,9 +89,17 @@ flavour = do $ "failed to apply key-value settings:\n\t" ++ unlines (map (" - " ++) settingErrs) ++ "\t Entries should look something like \"stage1.containers.ghc.hs.opts += -Werror\"" + -- Handle --bignum (deprecated) and JS auto-detection + bignumTweak <- cmdBignum >>= \case + Just "native" -> return useNativeBignum + Just b -> return $ \f -> f { bignumBackend = b } + Nothing -> do + js <- isJsTarget + return $ if js then useNativeBignum else id + case parseFlavour flavours flavourTransformers flavourName of Left err -> fail err - Right f -> return $ flagsTweak (tweak f) + Right f -> return $ bignumTweak (flagsTweak (tweak f)) -- TODO: switch to Set Package as the order of packages should not matter? -- Otherwise we have to keep remembering to sort packages from time to time. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/c8238375562a6c003b62dcccd452ed3… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/c8238375562a6c003b62dcccd452ed3… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][master] System.Info.fullCompilerVersion: add 'since' annot
by Marge Bot (＠marge-bot) 06 Mar '26

06 Mar '26

Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC Commits: fc8b8e27 by sheaf at 2026-03-06T06:33:28-05:00 System.Info.fullCompilerVersion: add 'since' annot Fixes #26973 - - - - - 1 changed file: - libraries/base/src/System/Info.hs Changes: ===================================== libraries/base/src/System/Info.hs ===================================== @@ -42,6 +42,8 @@ compilerVersion = Version [major, minor] [] -- | The full version of 'compilerName' with which the program was compiled -- or is being interpreted. It includes the major, minor, revision and an additional -- identifier, generally in the form "<year><month><day>". +-- +-- @since 4.15.0.0 fullCompilerVersion :: Version fullCompilerVersion = Version version [] where View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/fc8b8e27398b4d9d901fb65d15a7d8b… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/fc8b8e27398b4d9d901fb65d15a7d8b… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][master] ghc-internal: fix redundant import in GHC.Internal.Event.Windows.ManagedThreadPool
by Marge Bot (＠marge-bot) 06 Mar '26

06 Mar '26

Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC Commits: 7e31367c by Cheng Shao at 2026-03-06T06:32:46-05:00 ghc-internal: fix redundant import in GHC.Internal.Event.Windows.ManagedThreadPool This patch fixes redundant import in `GHC.Internal.Event.Windows.ManagedThreadPool` that causes a compilation error when building windows target with validate flavours and bootstrapping from 9.14. Fixes #26976. - - - - - 1 changed file: - libraries/ghc-internal/src/GHC/Internal/Event/Windows/ManagedThreadPool.hs Changes: ===================================== libraries/ghc-internal/src/GHC/Internal/Event/Windows/ManagedThreadPool.hs ===================================== @@ -31,7 +31,6 @@ import GHC.Internal.Control.Concurrent.MVar import GHC.Internal.Data.Maybe import GHC.Internal.Base import GHC.Internal.Num ((-), (+)) -import GHC.Internal.Real (fromIntegral) import qualified GHC.Internal.Event.Array as A import GHC.Internal.IO.Handle.Internals (debugIO) import GHC.Internal.Conc.Sync (ThreadId(..)) View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/7e31367c832225f2d7b277077444c2a… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/7e31367c832225f2d7b277077444c2a… You're receiving this email because of your account on gitlab.haskell.org.

1 0