- ghc-commits - Haskell.org

[Git][ghc/ghc] Pushed new branch wip/andreask/build-opt
by Andreas Klebinger (＠AndreasK) 19 Apr '26

19 Apr '26

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

1 0

[Git][ghc/ghc] Pushed new branch wip/andreask/hs-instances-boot
by Andreas Klebinger (＠AndreasK) 19 Apr '26

19 Apr '26

Andreas Klebinger pushed new branch wip/andreask/hs-instances-boot at Glasgow Haskell Compiler / GHC -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/tree/wip/andreask/hs-instances-boot You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc] Pushed new branch wip/andreask/revert-generics
by Andreas Klebinger (＠AndreasK) 19 Apr '26

19 Apr '26

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

1 0

[Git][ghc/ghc][wip/supersven/interpreter-flags] 22 commits: Suppress desugaring warnings in the pattern match checker
by Sven Tennie (＠supersven) 19 Apr '26

19 Apr '26

Sven Tennie pushed to branch wip/supersven/interpreter-flags at Glasgow Haskell Compiler / GHC Commits: d419e972 by Luite Stegeman at 2026-04-13T15:16:04-04:00 Suppress desugaring warnings in the pattern match checker Avoid duplicating warnings from the actual desugaring pass. fixes #25996 - - - - - c5b80dd0 by Phil de Joux at 2026-04-13T15:16:51-04:00 Typo ~/ghc/arch-os-version/environments - - - - - 71462fff by Luite Stegeman at 2026-04-13T15:17:38-04:00 add changelog entry for #26233 - - - - - d1ddfd4b by Rodrigo Mesquita at 2026-04-14T18:41:12-04:00 Add test for #25636 The existing test behaviour of "T23146_liftedeq" changed because the simplifier now does a bit more inlining. We can restore the previous bad behavior by using an OPAQUE pragma. This test doubles as a test for #25636 when run in ghci, so we add it as such. - - - - - b9df40ee by Rodrigo Mesquita at 2026-04-14T18:41:12-04:00 refactor: protoBCOName is always a Name Simplifies the code by removing the unnecessary type argument to ProtoBCO which was always 'Name' - - - - - 5c2a179e by Rodrigo Mesquita at 2026-04-14T18:41:12-04:00 Allocate static constructors for bytecode This commit adds support for static constructors when compiling and linking ByteCode objects. Top-level StgRhsCon get lowered to ProtoStaticCons rather than to ProtoBCOs. A ProtoStaticCon gets allocated directly as a data con application on the heap (using the new primop newConApp#). Previously, we would allocate a ProtoBCO which, when evaluated, would PACK and return the constructor. A few more details are given in Note [Static constructors in Bytecode]. Secondly, this commit also fixes issue #25636 which was caused by linking *unlifted* constructors in BCO instructions as - (1) a thunk indexing the array of BCOs in a module - (2) which evaluated to a BCO which still had to be evaluated to return the unlifted constructor proper. The (2) issue has been resolved by allocating the static constructors directly. The (1) issue can be resolved by ensuring that we allocate all unlifted top-level constructors eagerly, and leave the knot-tying for the lifted BCOs and top-level constructors only. The top-level unlifted constructors are never mutually recursive, so we can allocate them all in one go as long as we do it in topological order. Lifted fields of unlifted constructors can still be filled by the knot-tied lifted variables since in those fields it is fine to keep those thunks. See Note [Tying the knot in createBCOs] for more details. Fixes #25636 ------------------------- Metric Decrease: LinkableUsage01 ------------------------- - - - - - cde47053 by Rodrigo Mesquita at 2026-04-14T18:41:12-04:00 Revert "StgToByteCode: Assert that PUSH_G'd values are lifted" This reverts commit ec26c54d818e0cd328276196930313f66b780905. Ever since f7a22c0f4e9ae0dc767115d4c53fddbd8372b777, we now do support and will link top-level unlifted constructors into evaluated and properly tagged values which we can reference with PUSH_G. This assertion is no longer true and triggered a failure in T25636 - - - - - c7a7e5b8 by Rodrigo Mesquita at 2026-04-14T18:41:12-04:00 refactor: Tag more remote Ptrs as RemotePtr Pure refactor which improves the API of - GHC.ByteCode.Linker - GHC.Runtime.Interpreter - GHC.Runtime.Interpreter.Types.SymbolCache by using `RemotePtr` for more functions which used to return `Ptr`s that could potentially be in a foreign process. E.g. `lookupIE`, `lookupStaticPtr`, etc... - - - - - fc59494c by Rodrigo Mesquita at 2026-04-14T18:41:12-04:00 Add float# and subword tests for #25636 These tests cover that static constructors in bytecode work correctly for Float# and subword values (Word8#, Word16#) - - - - - 477f521b by Rodrigo Mesquita at 2026-04-14T18:41:12-04:00 test: Validate topoSort logic in createBCOs This test validates that the topological sorting and ordering of the unlifted constructors and lifted constructors in `createBCOs` is correct. See `Note [Tying the knot in createBCOs]` for why tying the knot for the created BCOs is slightly difficult and why the topological sorting is necessary. This test fails when `let topoSortedObjs = topSortObjs objs` is substituted by `let topoSortedObjs = zip [0..] objs`, thus witnessing the toposort logic is correct and necessary. The test calls the ghci `createBCOs` directly because it is currently impossible to construct in Source Haskell a situation where a top-level static unlifted constructor depends on another (we don't have top-level unlifted constructors except for nullary constructors like `Leaf :: (UTree :: UnliftedType)`). This is another test for fix for #25636 - - - - - 2d9c30be by Simon Jakobi at 2026-04-14T18:42:00-04:00 Improve tests for `elem` ...in order to simplify the work on #27096. * Improve T17752 by including the Core output in golden files, checking both -O1 and -O2. * Add tests for fusion and no-fusion cases. Fixes #27101. - - - - - 2dadf3b0 by sheaf at 2026-04-16T13:28:39-04:00 Simplify mkTick This commit simplifies 'GHC.Core.Utils.mkTick', removing the accumulating parameter 'rest' which was suspiciously treating a bunch of different ticks as a group, and moving the group as a whole around the AST, ignoring that the ticks in the group might have different placement properties. The most important change is that we revert the logic (added in 85b0aae2) that allowed ticks to be placed around coercions, which caused serious issues (e.g. #27121). It was just a mistake, as it doesn't make sense to put a tick around a coercion. Also adds Note [Pushing SCCs inwards] which clarifies the logic for pushing SCCs into lambdas, constructor applications, and dropping SCCs around non-function variables (in particular the treatment of splittable ticks). A few other changes are also implemented: - simplify 'can_split' predicate (no functional change) - combine profiling ticks into one when possible Fixes #26878, #26941 and #27121 Co-authored-by: simonpj <simon.peytonjones(a)gmail.com> - - - - - a0d6f1f4 by Simon Jakobi at 2026-04-16T13:29:28-04:00 Add regression test for #9074 Closes #9074. - - - - - d178ee89 by Sylvain Henry at 2026-04-16T13:30:25-04:00 Add changelog for #15973 - - - - - e8a196c6 by sheaf at 2026-04-16T13:31:19-04:00 Deal with 'noSpec' in 'coreExprToPmLit' This commit makes two separate changes relating to 'GHC.HsToCore.Pmc.Solver.Types.coreExprAsPmLit': 1. Commit 7124e4ad mistakenly marked deferred errors as non-canonical, which led to the introduction of 'nospec' wrappers in the generated Core. This reverts that accident by declaring deferred errors as being canonical, avoiding spurious 'nospec' wrapping. 2. Look through magic identity-like Ids such as 'nospec', 'inline' and 'lazy' in 'coreExprAsPmLit', just like Core Prep does. There might genuinely be incoherent evidence, but that shouldn't obstruct the pattern match checker. See test T27124a. Fixes #25926 #27124 ------------------------- Metric Decrease: T3294 ------------------------- - - - - - 8cb99552 by Sylvain Henry at 2026-04-16T19:22:43-04:00 hadrian: warn when package index is missing (#16484) Since cabal-install 3.0 we can query the path of remote-repo-cache and check if hackage package index is present. Fixes #16484 - - - - - d6ce7477 by Richard Eisenberg at 2026-04-16T19:23:25-04:00 Teach hadrian to --skip-test. Fixes #27188. This adds the --skip-test flag to `hadrian build`, as documented in the patch. - - - - - 7666f4a9 by Fendor at 2026-04-17T22:29:51-04:00 Migrate `ghc-pkg` to use `OsPath` and `file-io` `ghc-pkg` should use UNC paths as much as possible to avoid MAX_PATH issues on windows. `file-io` uses UNC Paths by default on windows, ensuring we use the correct APIs and that we finally are no longer plagued by MAX_PATH issues in CI and private machines. On top of it, the higher correctness of `OsPath` is appreciated in this small codebase. Also, we improve memory usage very slightly, due to the more efficient memory representation of `OsPath` over `FilePath` Adds `ghc-pkg` regression test for MAX_PATH on windows Make sure `ghc-pkg` behaves as expected when long paths (> 255) are involved on windows. Let's generate a testcase where we can actually observe that `ghc-pkg` behaves as epxected. See the documentation for windows on Maximum Path Length Limitation: * `https://learn.microsoft.com/en-us/windows/win32/fileio/maximum-file-path-limitation` Adds changelog entry for long path support in ghc-pkg. - - - - - 78434e8c by Simon Peyton Jones at 2026-04-17T22:30:38-04:00 Kill off the substitution in Lint Now that we have invariant (NoTypeShadowing) we no longer need Lint to carry an ambient substitution. This makes it simpler and faster. A really worthwhile refactor. There are some knock-on effects * Linting join points after worker/wrapper. See Note [Join points and beta redexes] * Running a type substitution after the desugarer. See Note [Substituting type-lets] in the new module GHC.Core.SubstTypeLets Implements #27078 Most perf tests don't use Lint so we won't see a perf incresae. But T1969, which uses -O0 and Lint, gets 1.3% worse because it has to run the SubstTypeLets pass which is a somewhat expensive no-op Overall though compile-time allocations are down 0.1%. Metric Increase: T1969 - - - - - 86ca6c2c by mangoiv at 2026-04-17T22:31:22-04:00 testsuite: inline elemCoreTest Some weird (probably python scoping) rule caused elemCoreTest, a regex being out of scope on ubuntu, presumably because of a newer python version. This patch just inlines the regex, which fixes the issue. Fixes #27193 - - - - - fccddee1 by Sven Tennie at 2026-04-18T16:53:55+02:00 ghc: Distinguish between having an interpreter and having an internal one Actually, these are related but different things: - ghc can run an interpreter (either internal or external) - ghc is compiled with an internal interpreter Splitting the logic solves compiler warnings and expresses the intent better. - - - - - a20a8085 by Sven Tennie at 2026-04-19T20:18:53+02:00 WIP - - - - - 140 changed files: - + changelog.d/T15973 - + changelog.d/T19174.md - + changelog.d/T25636 - + changelog.d/T27121.md - + changelog.d/T27124.md - + changelog.d/fix-duplicate-pmc-warnings - + changelog.d/fix-ghci-duplicate-warnings-26233 - + changelog.d/ghc-pkg-long-path-support - + changelog.d/hadrian-warn-missing-package-index-16484 - + changelog.d/skip-test - compiler/GHC/Builtin/primops.txt.pp - compiler/GHC/ByteCode/Asm.hs - compiler/GHC/ByteCode/Binary.hs - compiler/GHC/ByteCode/Instr.hs - compiler/GHC/ByteCode/Linker.hs - compiler/GHC/ByteCode/Types.hs - compiler/GHC/Cmm/Liveness.hs - compiler/GHC/Core/Lint.hs - + compiler/GHC/Core/Lint/SubstTypeLets.hs - compiler/GHC/Core/Opt/FloatOut.hs - compiler/GHC/Core/Opt/OccurAnal.hs - compiler/GHC/Core/Opt/WorkWrap/Utils.hs - compiler/GHC/Core/Subst.hs - compiler/GHC/Core/Utils.hs - compiler/GHC/CoreToStg/Prep.hs - compiler/GHC/Driver/Config/Core/Lint.hs - compiler/GHC/HsToCore/Pmc/Desugar.hs - compiler/GHC/HsToCore/Pmc/Solver/Types.hs - compiler/GHC/Linker/Loader.hs - compiler/GHC/Runtime/Interpreter.hs - compiler/GHC/Runtime/Interpreter/Types/SymbolCache.hs - compiler/GHC/Stg/Debug.hs - compiler/GHC/StgToByteCode.hs - compiler/GHC/StgToCmm/DataCon.hs - compiler/GHC/StgToCmm/Layout.hs - compiler/GHC/StgToCmm/Prim.hs - compiler/GHC/StgToJS/Prim.hs - compiler/GHC/Tc/Errors.hs - compiler/GHC/Types/Tickish.hs - compiler/GHC/Unit/State.hs - compiler/ghc.cabal.in - docs/users_guide/packages.rst - ghc/GHC/Driver/Session/Mode.hs - ghc/GHCi/UI.hs - ghc/Main.hs - ghc/ghc-bin.cabal.in - hadrian/build-cabal - hadrian/build-cabal.bat - hadrian/doc/make.md - hadrian/doc/testsuite.md - hadrian/src/CommandLine.hs - hadrian/src/Settings/Builders/RunTest.hs - hadrian/src/Settings/Packages.hs - + libraries/base/tests/perf/ElemFusionUnknownList.hs - + libraries/base/tests/perf/ElemFusionUnknownList_O1.stderr - + libraries/base/tests/perf/ElemFusionUnknownList_O2.stderr - + libraries/base/tests/perf/ElemNoFusion.hs - + libraries/base/tests/perf/ElemNoFusion_O1.stderr - + libraries/base/tests/perf/ElemNoFusion_O2.stderr - − libraries/base/tests/perf/Makefile - libraries/base/tests/perf/T17752.hs - − libraries/base/tests/perf/T17752.stdout - + libraries/base/tests/perf/T17752_O1.stderr - + libraries/base/tests/perf/T17752_O2.stderr - libraries/base/tests/perf/all.T - libraries/ghc-boot/GHC/Unit/Database.hs - libraries/ghc-boot/ghc-boot.cabal.in - libraries/ghc-heap/tests/tso_and_stack_closures.hs - libraries/ghci/GHCi/CreateBCO.hs - libraries/ghci/GHCi/ResolvedBCO.hs - rts/Interpreter.c - rts/PrimOps.cmm - rts/RtsSymbols.c - rts/include/Rts.h - rts/include/rts/storage/ClosureMacros.h - rts/include/stg/MiscClosures.h - testsuite/driver/runtests.py - testsuite/driver/testglobals.py - testsuite/driver/testlib.py - testsuite/tests/cabal/Makefile - testsuite/tests/cabal/all.T - + testsuite/tests/cabal/ghcpkg10.stdout - testsuite/tests/codeGen/should_run/T23146/T23146_liftedeq.hs - + testsuite/tests/codeGen/should_run/T23146/T25636.script - + testsuite/tests/codeGen/should_run/T23146/T25636.stdout - testsuite/tests/codeGen/should_run/T23146/all.T - + testsuite/tests/codeGen/should_run/T25636a/T25636a.script - + testsuite/tests/codeGen/should_run/T25636a/T25636a.stdout - + testsuite/tests/codeGen/should_run/T25636a/all.T - + testsuite/tests/codeGen/should_run/T25636b/T25636b.script - + testsuite/tests/codeGen/should_run/T25636b/T25636b.stdout - + testsuite/tests/codeGen/should_run/T25636b/all.T - + testsuite/tests/codeGen/should_run/T25636c/T25636c.script - + testsuite/tests/codeGen/should_run/T25636c/T25636c.stdout - + testsuite/tests/codeGen/should_run/T25636c/all.T - + testsuite/tests/codeGen/should_run/T25636d/T25636d.script - + testsuite/tests/codeGen/should_run/T25636d/T25636d.stdout - + testsuite/tests/codeGen/should_run/T25636d/all.T - + testsuite/tests/codeGen/should_run/T25636e/T25636e.script - + testsuite/tests/codeGen/should_run/T25636e/T25636e.stdout - + testsuite/tests/codeGen/should_run/T25636e/all.T - testsuite/tests/corelint/LintEtaExpand.stderr - testsuite/tests/corelint/T21115b.stderr - + testsuite/tests/deSugar/should_compile/T25996.hs - + testsuite/tests/deSugar/should_compile/T25996.stderr - testsuite/tests/deSugar/should_compile/all.T - testsuite/tests/ghci.debugger/scripts/print034.stdout - + testsuite/tests/ghci/T9074/Makefile - + testsuite/tests/ghci/T9074/T9074.hs - + testsuite/tests/ghci/T9074/T9074.stdout - + testsuite/tests/ghci/T9074/T9074a.c - + testsuite/tests/ghci/T9074/T9074b.c - + testsuite/tests/ghci/T9074/all.T - + testsuite/tests/ghci/should_run/T25636f.hs - + testsuite/tests/ghci/should_run/T25636f.stdout - testsuite/tests/ghci/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/interface-stability/ghc-experimental-exports.stdout - testsuite/tests/interface-stability/ghc-experimental-exports.stdout-mingw32 - testsuite/tests/interface-stability/ghc-prim-exports.stdout - testsuite/tests/interface-stability/ghc-prim-exports.stdout-mingw32 - + testsuite/tests/overloadedstrings/should_fail/T25926.hs - + testsuite/tests/overloadedstrings/should_fail/T25926.stderr - + testsuite/tests/overloadedstrings/should_fail/T27124.hs - + testsuite/tests/overloadedstrings/should_fail/T27124.stderr - + testsuite/tests/overloadedstrings/should_fail/all.T - + testsuite/tests/overloadedstrings/should_run/T27124a.hs - testsuite/tests/overloadedstrings/should_run/all.T - + testsuite/tests/profiling/should_compile/T27121.hs - + testsuite/tests/profiling/should_compile/T27121_aux.hs - testsuite/tests/profiling/should_compile/all.T - + testsuite/tests/simplCore/should_compile/T26941.hs - + testsuite/tests/simplCore/should_compile/T26941_aux.hs - testsuite/tests/simplCore/should_compile/all.T - utils/deriveConstants/Main.hs - utils/ghc-pkg/Main.hs - utils/ghc-pkg/ghc-pkg.cabal.in The diff was not included because it is too large. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/312f1d1fdc5922c4411e2968c98fae… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/312f1d1fdc5922c4411e2968c98fae… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/sjakobi/tweak-mk_mod_usage_info] WIP: Try more strictness
by Simon Jakobi (＠sjakobi2) 19 Apr '26

19 Apr '26

Simon Jakobi pushed to branch wip/sjakobi/tweak-mk_mod_usage_info at Glasgow Haskell Compiler / GHC Commits: d8a089d2 by Simon Jakobi at 2026-04-19T18:33:59+02:00 WIP: Try more strictness - - - - - 1 changed file: - compiler/GHC/HsToCore/Usage.hs Changes: ===================================== compiler/GHC/HsToCore/Usage.hs ===================================== @@ -234,7 +234,7 @@ mk_mod_usage_info uc home_unit home_unit_ids this_mod direct_imports imp_decls u -- ent_map groups together all the things imported and used -- from a particular module ent_map :: ModuleEnv [OccName] - ent_map = nonDetStrictFoldUniqSet add_mv emptyModuleEnv used_names + !ent_map = nonDetStrictFoldUniqSet add_mv emptyModuleEnv used_names -- nonDetStrictFoldUniqSet is OK here. If you follow the logic, we sort by -- OccName in ent_hashs where View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/d8a089d2af6fde927d1b11eaf2d8cc8… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/d8a089d2af6fde927d1b11eaf2d8cc8… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc] Pushed new branch wip/sjakobi/tweak-mk_mod_usage_info
by Simon Jakobi (＠sjakobi2) 19 Apr '26

19 Apr '26

Simon Jakobi pushed new branch wip/sjakobi/tweak-mk_mod_usage_info at Glasgow Haskell Compiler / GHC -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/tree/wip/sjakobi/tweak-mk_mod_usage_in… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/spj-reinstallable-base2] More
by Simon Peyton Jones (＠simonpj) 18 Apr '26

18 Apr '26

Simon Peyton Jones pushed to branch wip/spj-reinstallable-base2 at Glasgow Haskell Compiler / GHC Commits: 145885ae by Simon Peyton Jones at 2026-04-19T00:49:30+01:00 More - - - - - 10 changed files: - compiler/GHC/Builtin/KnownKeys.hs - compiler/GHC/Builtin/KnownOccs.hs - compiler/GHC/Builtin/TH.hs - compiler/GHC/HsToCore/Pmc/Solver/Types.hs - compiler/GHC/HsToCore/Quote.hs - compiler/GHC/Tc/Gen/Arrow.hs - compiler/GHC/Tc/Gen/Splice.hs - compiler/GHC/Tc/Utils/Instantiate.hs - libraries/base/src/GHC/KnownKeyNames.hs - libraries/ghc-internal/src/GHC/Internal/TH/Lift.hs Changes: ===================================== compiler/GHC/Builtin/KnownKeys.hs ===================================== @@ -112,6 +112,7 @@ import GHC.Prelude import GHC.Builtin.Modules import GHC.Builtin.Uniques +import GHC.Builtin.TH( thKnownKeyTable ) import GHC.Unit.Types @@ -169,24 +170,25 @@ wired in ones are defined in GHC.Builtin.Types etc. knownKeyTable :: [(OccName, KnownKey)] knownKeyTable - = [ (mkTcOcc "Read", readClassKey) + = thKnownKeyTable ++ + [ (mkTcOcc "IO", ioTyConKey) + + -- Classes + , (mkTcOcc "Eq", eqClassKey) + , (mkTcOcc "Ord", ordClassKey) + , (mkTcOcc "Enum", enumClassKey) + , (mkTcOcc "Bounded", boundedClassKey) + , (mkTcOcc "Read", readClassKey) , (mkTcOcc "Show", showClassKey) , (mkTcOcc "Foldable", foldableClassKey) , (mkTcOcc "Traversable", traversableClassKey) - , (mkTcOcc "Bounded", boundedClassKey) , (mkTcOcc "Data", dataClassKey) , (mkTcOcc "Ix", ixClassKey) , (mkTcOcc "Alternative", alternativeClassKey) , (mkTcOcc "Typeable", typeableClassKey) + , (mkTcOcc "Functor", functorClassKey) - -- Class Eq and Ord - , (mkTcOcc "Eq", eqClassKey) - , (mkTcOcc "Ord", ordClassKey) - - -- Enum - , (mkTcOcc "Enum", enumClassKey) - - -- Numeric operations + -- Numeric classes , (mkTcOcc "Num", numClassKey) , (mkTcOcc "Integral", integralClassKey) , (mkTcOcc "Real", realClassKey) @@ -201,9 +203,6 @@ knownKeyTable , (mkVarOcc "toRational", toRationalClassOpKey) , (mkVarOcc "realToFrac", realToFracIdKey) - -- Class Functor - , (mkTcOcc "Functor", functorClassKey) - -- Class Monad, MonadFix, MonadZip , (mkTcOcc "Monad", monadClassKey) , (thenMClassOpOcc, thenMClassOpKey) @@ -220,15 +219,12 @@ knownKeyTable , (mkTcOcc "Monoid", monoidClassKey) , (sappendClassOpOcc, sappendClassOpKey) , (mappendClassOpOcc, mappendClassOpKey) - , (mkVarOcc "mempty", memptyClassOpKey) -- Class IsString , (mkTcOcc "IsString", isStringClassKey) - , (mkVarOcc "fromString", fromStringClassOpKey) -- DataToTag , (mkTcOcc "DataToTag", dataToTagClassKey) - , (mkVarOcc "dataToTag#", dataToTagClassOpKey) -- Lists , (mkVarOcc "build", buildIdKey) @@ -1427,10 +1423,6 @@ failMClassOpKey = mkPreludeMiscIdUnique 159 fromLabelClassOpKey :: KnownKey fromLabelClassOpKey = mkPreludeMiscIdUnique 160 --- DataToTag -dataToTagClassOpKey :: KnownKey -dataToTagClassOpKey = mkPreludeMiscIdUnique 161 - -- Arrow notation arrAIdKey, composeAIdKey, firstAIdKey, appAIdKey, choiceAIdKey, loopAIdKey :: KnownKey ===================================== compiler/GHC/Builtin/KnownOccs.hs ===================================== @@ -543,8 +543,8 @@ fmap_RDR, replace_RDR, pure_RDR, ap_RDR, liftA2_RDR, foldable_foldr_RDR, fmap_RDR = knownOccRdrName fmapClassOpOcc pure_RDR = knownKeyRdrName pureAClassOpKey ap_RDR = knownOccRdrName apAClassOpOcc -mempty_RDR = knownKeyRdrName memptyClassOpKey mappend_RDR = knownKeyRdrName mappendClassOpKey +mempty_RDR = knownVarOccRdrName "mempty" replace_RDR = knownVarOccRdrName "<$" liftA2_RDR = knownVarOccRdrName "liftA2" foldable_foldr_RDR = knownVarOccRdrName "foldr" @@ -572,7 +572,7 @@ null_Expr = nlHsVar null_RDR minusInt_RDR, tagToEnum_RDR, dataToTag_RDR :: RdrName minusInt_RDR = primOpRdrName IntSubOp tagToEnum_RDR = primOpRdrName TagToEnumOp -dataToTag_RDR = knownKeyRdrName dataToTagClassOpKey +dataToTag_RDR = knownVarOccRdrName "dataToTag#" -- Generics (constructors and functions) u1DataCon_RDR, par1DataCon_RDR, rec1DataCon_RDR, ===================================== compiler/GHC/Builtin/TH.hs ===================================== @@ -9,7 +9,7 @@ module GHC.Builtin.TH where import GHC.Prelude () import GHC.Unit.Types -import GHC.Types.Name( Name, KnownOcc, mk_known_key_name ) +import GHC.Types.Name( Name, KnownOcc, KnownKey, mk_known_key_name ) import GHC.Types.Name.Occurrence import GHC.Types.Unique ( Unique ) import GHC.Builtin.Uniques @@ -17,6 +17,11 @@ import GHC.Data.FastString import Language.Haskell.Syntax.Module.Name +thKnownKeyTable :: [(OccName, KnownKey)] +thKnownKeyTable + = [ (liftClassOcc, liftClassKey) + ] + thKnownOccs :: [KnownOcc] thKnownOccs = [ qTyConOcc, nameTyConOcc, fieldExpTyConOcc, patTyConOcc @@ -31,7 +36,7 @@ thKnownOccs , litPOcc, varPOcc, tupPOcc, unboxedTupPOcc, unboxedSumPOcc, conPOcc , infixPOcc, tildePOcc, bangPOcc, asPOcc, wildPOcc, recPOcc, listPOcc , sigPOcc, viewPOcc, typePOcc, invisPOcc, orPOcc - , matchOcc, clauseOcc + , matchOcc, fieldPatOcc, clauseOcc , varEOcc, conEOcc, litEOcc, appEOcc, appTypeEOcc, infixEOcc, infixAppOcc , sectionLOcc, sectionROcc, lamEOcc, lamCaseEOcc, lamCasesEOcc, tupEOcc , unboxedTupEOcc, unboxedSumEOcc, condEOcc, multiIfEOcc, letEOcc @@ -54,6 +59,9 @@ thKnownOccs , tySynEqnTyConOcc, roleTyConOcc, derivClauseTyConOcc, kindTyConOcc , tyVarBndrUnitTyConOcc, tyVarBndrSpecTyConOcc, tyVarBndrVisTyConOcc , derivStrategyTyConOcc + , guardedBOcc, normalBOcc + , normalGEOcc, patGEOcc + , bindSOcc, letSOcc, noBindSOcc, parSOcc, recSOcc ] templateHaskellNames :: [Name] @@ -61,20 +69,13 @@ templateHaskellNames :: [Name] -- Should stay in sync with the import list of GHC.HsToCore.Quote templateHaskellNames = [ - sequenceQName, newNameName, + newNameName, mkNameName, mkNameG_vName, mkNameG_dName, mkNameG_tcName, mkNameG_fldName, mkNameLName, mkNameSName, mkNameQName, mkModNameName, unTypeName, unTypeCodeName, - -- FieldPat - fieldPatName, - -- Body - guardedBName, normalBName, - -- Guard - normalGEName, patGEName, - -- Stmt - bindSName, letSName, noBindSName, parSName, recSName, + -- Cxt cxtName, @@ -150,9 +151,6 @@ templateHaskellNames = [ -- DerivClause derivClauseName, - -- The type classes - liftClassName, quoteClassName, - -- Quasiquoting quoteDecName, quoteTypeName, quoteExpName, quotePatName] @@ -185,11 +183,9 @@ qqFld :: FastString -> Unique -> Name qqFld = mk_known_key_name (fieldName (fsLit "QuasiQuoter")) qqLib -------------------- TH.Syntax ----------------------- -liftClassName :: Name -liftClassName = mk_known_key_name clsName liftLib (fsLit "Lift") liftClassKey - -quoteClassName :: Name -quoteClassName = thMonadCls (fsLit "Quote") quoteClassKey +liftClassOcc, quoteClassOcc :: KnownOcc +liftClassOcc = mkTcOcc "Lift" +quoteClassOcc = mkTcOcc "Quote" qTyConOcc, nameTyConOcc, fieldExpTyConOcc, patTyConOcc, fieldPatTyConOcc, expTyConOcc, decTyConOcc, typeTyConOcc, @@ -215,11 +211,13 @@ overlapTyConOcc = mkTcOcc "Overlap" modNameTyConOcc = mkTcOcc "ModName" quasiQuoterTyConOcc = mkTcOcc "QuasiQuoter" -sequenceQName, newNameName, +sequenceQOcc :: KnownOcc +sequenceQOcc = mkVarOcc "sequenceQ" + +newNameName, mkNameName, mkNameG_vName, mkNameG_fldName, mkNameG_dName, mkNameG_tcName, mkNameLName, mkNameSName, unTypeName, unTypeCodeName, mkModNameName, mkNameQName :: Name -sequenceQName = thMonadFun (fsLit "sequenceQ") sequenceQIdKey newNameName = thMonadFun (fsLit "newName") newNameIdKey mkNameName = thFun (fsLit "mkName") mkNameIdKey mkNameG_vName = thFun (fsLit "mkNameG_v") mkNameG_vIdKey @@ -277,16 +275,10 @@ typePOcc = mkVarOcc "typeP" invisPOcc = mkVarOcc "invisP" -- type FieldPat = ... -fieldPatName :: Name -fieldPatName = libFun (fsLit "fieldPat") fieldPatIdKey - --- data Match = ... -matchOcc :: KnownOcc -matchOcc = mkVarOcc "match" - --- data Clause = ... -clauseOcc :: KnownOcc -clauseOcc = mkVarOcc "clause" +fieldPatOcc, matchOcc, clauseOcc ::KnownOcc +fieldPatOcc = mkVarOcc "fieldPat" +matchOcc = mkVarOcc "match" +clauseOcc = mkVarOcc "clause" -- data Exp = ... varEOcc, conEOcc, litEOcc, appEOcc, appTypeEOcc, infixEOcc, infixAppOcc, @@ -345,22 +337,22 @@ fieldExpOcc :: KnownOcc fieldExpOcc = mkVarOcc "fieldExp" -- data Body = ... -guardedBName, normalBName :: Name -guardedBName = libFun (fsLit "guardedB") guardedBIdKey -normalBName = libFun (fsLit "normalB") normalBIdKey +guardedBOcc, normalBOcc :: KnownOcc +guardedBOcc = mkVarOcc "guardedB" +normalBOcc = mkVarOcc "normalB" -- data Guard = ... -normalGEName, patGEName :: Name -normalGEName = libFun (fsLit "normalGE") normalGEIdKey -patGEName = libFun (fsLit "patGE") patGEIdKey +normalGEOcc, patGEOcc :: KnownOcc +normalGEOcc = mkVarOcc "normalGE" +patGEOcc = mkVarOcc "patGE" -- data Stmt = ... -bindSName, letSName, noBindSName, parSName, recSName :: Name -bindSName = libFun (fsLit "bindS") bindSIdKey -letSName = libFun (fsLit "letS") letSIdKey -noBindSName = libFun (fsLit "noBindS") noBindSIdKey -parSName = libFun (fsLit "parS") parSIdKey -recSName = libFun (fsLit "recS") recSIdKey +bindSOcc, letSOcc, noBindSOcc, parSOcc, recSOcc :: KnownOcc +bindSOcc = mkVarOcc "bindS" +letSOcc = mkVarOcc "letS" +noBindSOcc = mkVarOcc "noBindS" +parSOcc = mkVarOcc "parS" +recSOcc = mkVarOcc "recS" -- data Dec = ... funDOcc, valDOcc, dataDOcc, newtypeDOcc, typeDataDOcc, tySynDOcc, classDOcc, @@ -911,28 +903,11 @@ forallEIdKey = mkPreludeMiscIdUnique 802 forallVisEIdKey = mkPreludeMiscIdUnique 803 constrainedEIdKey = mkPreludeMiscIdUnique 804 --- type FieldExp = ... -fieldExpIdKey :: Unique -fieldExpIdKey = mkPreludeMiscIdUnique 307 - --- data Body = ... -guardedBIdKey, normalBIdKey :: Unique -guardedBIdKey = mkPreludeMiscIdUnique 308 -normalBIdKey = mkPreludeMiscIdUnique 309 - -- data Guard = ... normalGEIdKey, patGEIdKey :: Unique normalGEIdKey = mkPreludeMiscIdUnique 310 patGEIdKey = mkPreludeMiscIdUnique 311 --- data Stmt = ... -bindSIdKey, letSIdKey, noBindSIdKey, parSIdKey, recSIdKey :: Unique -bindSIdKey = mkPreludeMiscIdUnique 312 -letSIdKey = mkPreludeMiscIdUnique 313 -noBindSIdKey = mkPreludeMiscIdUnique 314 -parSIdKey = mkPreludeMiscIdUnique 315 -recSIdKey = mkPreludeMiscIdUnique 316 - -- data Dec = ... funDIdKey, valDIdKey, dataDIdKey, newtypeDIdKey, tySynDIdKey, classDIdKey, instanceWithOverlapDIdKey, instanceDIdKey, sigDIdKey, forImpDIdKey, ===================================== compiler/GHC/HsToCore/Pmc/Solver/Types.hs ===================================== @@ -795,7 +795,6 @@ coreExprAsPmLit e = case collectArgs e of | otherwise = Nothing - -- See Note [Detecting overloaded literals with -XRebindableSyntax] is_rebound_name :: Id -> KnownOcc -> Bool is_rebound_name x ko = getOccFS (idName x) == occNameFS ko ===================================== compiler/GHC/HsToCore/Quote.hs ===================================== @@ -114,7 +114,7 @@ mkMetaWrappers q@(QuoteWrapper quote_var_raw m_var) = do let quote_var = Var quote_var_raw -- Get the superclass selector to select the Monad dictionary, going -- to be used to construct the monadWrapper. - quote_tc <- dsLookupTyCon quoteClassName + quote_tc <- dsLookupKnownOccTyCon quoteClassOcc monad_tc <- dsLookupKnownKeyTyCon monadClassKey let cls = expectJust $ tyConClass_maybe quote_tc monad_cls = expectJust $ tyConClass_maybe monad_tc @@ -2221,7 +2221,7 @@ repP (ConPat NoExtField dc details) rep_fld :: LHsRecField GhcRn (LPat GhcRn) -> MetaM (Core (M (TH.Name, TH.Pat))) rep_fld (L _ fld) = do { MkC v <- lookupOcc (hsRecFieldSel fld) ; MkC p <- repLP (hfbRHS fld) - ; rep2 fieldPatName [v,p] } + ; krep2 fieldPatOcc [v,p] } repP (NPat _ (L _ l) Nothing _) = do { a <- repOverloadedLiteral l ; repPlit a } repP (ViewPat _ e p) = do { e' <- repLE e; p' <- repLP p; repPview e' p' } @@ -2424,12 +2424,12 @@ type family NotM a where NotM (M _) = TypeError ('Text ("rep2_nw must not produce something of overloaded type")) NotM _other = (() :: Constraint) -rep2M :: Name -> [CoreExpr] -> MetaM (Core (M a)) +-- rep2M :: Name -> [CoreExpr] -> MetaM (Core (M a)) rep2 :: Name -> [CoreExpr] -> MetaM (Core (M a)) rep2_nw :: NotM a => Name -> [CoreExpr] -> MetaM (Core a) rep2_nwDsM :: NotM a => Name -> [CoreExpr] -> DsM (Core a) rep2 = rep2X lift (asks quoteWrapper) -rep2M = rep2X lift (asks monadWrapper) +-- rep2M = rep2X lift (asks monadWrapper) rep2_nw n xs = lift (rep2_nwDsM n xs) rep2_nwDsM = rep2X id (return id) @@ -2444,12 +2444,12 @@ rep2X lift_dsm get_wrap n xs = do ; return (MkC $ (foldl' App (wrap (Var rep_id)) xs)) } --- krep2M :: KnownOcc -> [CoreExpr] -> MetaM (Core (M a)) +krep2M :: KnownOcc -> [CoreExpr] -> MetaM (Core (M a)) krep2 :: KnownOcc -> [CoreExpr] -> MetaM (Core (M a)) krep2_nw :: NotM a => KnownOcc -> [CoreExpr] -> MetaM (Core a) krep2_nwDsM :: NotM a => KnownOcc -> [CoreExpr] -> DsM (Core a) krep2 = krep2X lift (asks quoteWrapper) --- krep2M = krep2X lift (asks monadWrapper) +krep2M = krep2X lift (asks monadWrapper) krep2_nw n xs = lift (krep2_nwDsM n xs) krep2_nwDsM = krep2X id (return id) @@ -2650,10 +2650,10 @@ repImplicitParamVar (MkC x) = krep2 implicitParamVarEOcc [x] ------------ Right hand sides (guarded expressions) ---- repGuarded :: Core [M (TH.Guard, TH.Exp)] -> MetaM (Core (M TH.Body)) -repGuarded (MkC pairs) = rep2 guardedBName [pairs] +repGuarded (MkC pairs) = krep2 guardedBOcc [pairs] repNormal :: Core (M TH.Exp) -> MetaM (Core (M TH.Body)) -repNormal (MkC e) = rep2 normalBName [e] +repNormal (MkC e) = krep2 normalBOcc [e] ------------ Guards ---- repLNormalGE :: LHsExpr GhcRn -> LHsExpr GhcRn @@ -2663,26 +2663,26 @@ repLNormalGE g e = do g' <- repLE g repNormalGE g' e' repNormalGE :: Core (M TH.Exp) -> Core (M TH.Exp) -> MetaM (Core (M (TH.Guard, TH.Exp))) -repNormalGE (MkC g) (MkC e) = rep2 normalGEName [g, e] +repNormalGE (MkC g) (MkC e) = krep2 normalGEOcc [g, e] repPatGE :: Core [(M TH.Stmt)] -> Core (M TH.Exp) -> MetaM (Core (M (TH.Guard, TH.Exp))) -repPatGE (MkC ss) (MkC e) = rep2 patGEName [ss, e] +repPatGE (MkC ss) (MkC e) = krep2 patGEOcc [ss, e] ------------- Stmts ------------------- repBindSt :: Core (M TH.Pat) -> Core (M TH.Exp) -> MetaM (Core (M TH.Stmt)) -repBindSt (MkC p) (MkC e) = rep2 bindSName [p,e] +repBindSt (MkC p) (MkC e) = krep2 bindSOcc [p,e] repLetSt :: Core [(M TH.Dec)] -> MetaM (Core (M TH.Stmt)) -repLetSt (MkC ds) = rep2 letSName [ds] +repLetSt (MkC ds) = krep2 letSOcc [ds] repNoBindSt :: Core (M TH.Exp) -> MetaM (Core (M TH.Stmt)) -repNoBindSt (MkC e) = rep2 noBindSName [e] +repNoBindSt (MkC e) = krep2 noBindSOcc [e] repParSt :: Core [[(M TH.Stmt)]] -> MetaM (Core (M TH.Stmt)) -repParSt (MkC sss) = rep2 parSName [sss] +repParSt (MkC sss) = krep2 parSOcc [sss] repRecSt :: Core [(M TH.Stmt)] -> MetaM (Core (M TH.Stmt)) -repRecSt (MkC ss) = rep2 recSName [ss] +repRecSt (MkC ss) = krep2 recSOcc [ss] -------------- Range (Arithmetic sequences) ----------- repFrom :: Core (M TH.Exp) -> MetaM (Core (M TH.Exp)) @@ -3210,11 +3210,11 @@ repGensym (MkC lit_str) = rep2 newNameName [lit_str] repBindM :: Type -> Type -- a and b -> Core (M a) -> Core (a -> M b) -> MetaM (Core (M b)) repBindM ty_a ty_b (MkC x) (MkC y) - = rep2M bindMName [Type ty_a, Type ty_b, x, y] + = krep2M bindMClassOpOcc [Type ty_a, Type ty_b, x, y] repSequenceM :: Type -> Core [M a] -> MetaM (Core (M [a])) repSequenceM ty_a (MkC list) - = rep2M sequenceQName [Type ty_a, list] + = krep2M sequenceQOcc [Type ty_a, list] repUnboundVar :: Core TH.Name -> MetaM (Core (M TH.Exp)) repUnboundVar (MkC name) = krep2 unboundVarEOcc [name] ===================================== compiler/GHC/Tc/Gen/Arrow.hs ===================================== @@ -432,8 +432,7 @@ tcCmdSyntaxTable loc orig ty (CST tbl) ; return (CST tbl') } where do_one (std_occ, user_nm_expr) - = -- Use the user_nm_expr in place of the standard operation - do { std_id <- tcLookupKnownOccId std_occ + = do { std_id <- tcLookupKnownOccId std_occ ; if | HsVar _ (L _ (WithUserRdr _ user_nm)) <- user_nm_expr , idName std_id == user_nm -> -- Use the standard operation @@ -476,8 +475,8 @@ arity_map :: OccEnv Arity -- Domain is only the arrow operations arity_map = mkOccEnv [ (arrAIdOcc, 3) -- result used as an argument in, e.g., do_premap - , (composeAIdOcc, 3) -- result used as an argument in, e.g., dsCmdStmt/BodyStmt - , (firstAIdOcc, 5) -- result used as an argument in, e.g., dsCmdStmt/BodyStmt + , (composeAIdOcc, 5) -- result used as an argument in, e.g., dsCmdStmt/BodyStmt + , (firstAIdOcc, 4) -- result used as an argument in, e.g., dsCmdStmt/BodyStmt , (appAIdOcc, 2) -- result used as an argument in, e.g., dsCmd/HsCmdArrApp/HsHigherOrderApp , (choiceAIdOcc, 5) -- result used as an argument in, e.g., HsCmdIf , (loopAIdOcc, 4) -- result used as an argument in, e.g., HsCmdIf ===================================== compiler/GHC/Tc/Gen/Splice.hs ===================================== @@ -762,7 +762,7 @@ mkMetaTyVar = -- | For a type 'm', emit the constraint 'Quote m'. emitQuoteWanted :: Type -> TcM EvVar emitQuoteWanted m_var = do - quote_con <- tcLookupTyCon quoteClassName + quote_con <- tcLookupKnownOccTyCon quoteClassOcc emitWantedEvVar BracketOrigin $ mkTyConApp quote_con [m_var] ===================================== compiler/GHC/Tc/Utils/Instantiate.hs ===================================== @@ -99,7 +99,8 @@ import Data.Function ( on ) -} newKnownOccMethod - :: CtOrigin -- ^ why do we need this? + :: HasDebugCallStack + => CtOrigin -- ^ why do we need this? -> KnownOcc -- ^ name of the method -> [TcRhoType] -- ^ types with which to instantiate the class -> TcM (HsExpr GhcTc) @@ -115,12 +116,12 @@ newKnownOccMethod origin occ ty_args ; finish_nkko origin id ty_args } newKnownKeyMethod -- Same as newKnownOccMethod, but with a KnownKey - :: CtOrigin -> KnownKey -> [TcRhoType]-> TcM (HsExpr GhcTc) + :: HasDebugCallStack => CtOrigin -> KnownKey -> [TcRhoType]-> TcM (HsExpr GhcTc) newKnownKeyMethod origin key ty_args = do { id <- tcLookupKnownKeyId key ; finish_nkko origin id ty_args } -finish_nkko :: CtOrigin -> Id -> [TcRhoType] -> TcM (HsExpr GhcTc) +finish_nkko :: HasDebugCallStack => CtOrigin -> Id -> [TcRhoType] -> TcM (HsExpr GhcTc) finish_nkko origin id ty_args = do { let ty = piResultTys (idType id) ty_args (theta, _caller_knows_this) = tcSplitPhiTy ty ===================================== libraries/base/src/GHC/KnownKeyNames.hs ===================================== @@ -169,10 +169,11 @@ module GHC.KnownKeyNames , integerComplement, integerBit#, integerTestBit#, integerShiftL#, integerShiftR# -- Template Haskell + , Lift, Quote -- The Lift and Quote classeso , Q, DecsQ, ExpQ, TypeQ, PatQ , Name, Decs, TH.Type, FunDep , Pred, Code, InjectivityAnn, Overlap, ModName, QuasiQuoter - , Stmt, Con, BangType, VarBangType, RuleBndr, TySynEqn, Role, DerivClause + , Con, BangType, VarBangType, RuleBndr, TySynEqn, Role, DerivClause , Kind, TyVarBndrUnit, TyVarBndrSpec, TyVarBndrVis, DerivStrategy , sequenceQ, newName, mkName, mkNameG_v, mkNameG_d, mkNameG_tc, mkNameG_fld, mkNameL , mkNameQ, mkNameS, mkModName, unType, unTypeCode, unsafeCodeCoerce @@ -201,6 +202,7 @@ module GHC.KnownKeyNames , FieldPat, fieldPat , Match, match , Clause, clause + , Stmt, bindS, letS, noBindS, parS, recS ) where import GHC.Internal.Base hiding( foldr ) ===================================== libraries/ghc-internal/src/GHC/Internal/TH/Lift.hs ===================================== @@ -17,6 +17,9 @@ {-# LANGUAGE FlexibleInstances #-} {-# OPTIONS_GHC -fno-warn-inline-rule-shadowing #-} +{-# OPTIONS_GHC -fdefines-known-key-names #-} + -- Defines Lift + -- | This module gives the definition of the 'Lift' class. -- -- This is an internal module. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/145885ae3709a244636c38b70307344… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/145885ae3709a244636c38b70307344… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/spj-reinstallable-base2] Wibble docs
by Simon Peyton Jones (＠simonpj) 18 Apr '26

18 Apr '26

Simon Peyton Jones pushed to branch wip/spj-reinstallable-base2 at Glasgow Haskell Compiler / GHC Commits: 69e2f841 by Simon Peyton Jones at 2026-04-18T16:38:46+01:00 Wibble docs - - - - - 1 changed file: - docs/users_guide/separate_compilation.rst Changes: ===================================== docs/users_guide/separate_compilation.rst ===================================== @@ -1671,7 +1671,7 @@ flags: for the module ``base:GHC.KnownKeyNames``, but this module does not exist when compiling ``ghc-internal`` or ``base``, which is why the flag is needed. -.. ghc-flag:: -fdefines-known-names +.. ghc-flag:: -fdefines-known-key-names :shortdesc: This module defines a known name :type: dynamic :category: @@ -1681,7 +1681,7 @@ flags: called "Rational" in this module is *the* known ``Rational`` and not some other random type or class that happens to be called "Rational". -.. ghc-flag:: -fexclude-known-define=(name) +.. ghc-flag:: -fexclude-known-key-define=(name) :shortdesc: Do not treat a definition of (name) as a definition of a known entity :type: dynamic :category: View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/69e2f8418868fd4d5d17881b8b966a9… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/69e2f8418868fd4d5d17881b8b966a9… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/spj-reinstallable-base2] Put all wired-in stuff under GHC.Builtin
by Simon Peyton Jones (＠simonpj) 18 Apr '26

18 Apr '26

Simon Peyton Jones pushed to branch wip/spj-reinstallable-base2 at Glasgow Haskell Compiler / GHC Commits: 420703ea by Simon Peyton Jones at 2026-04-18T14:28:50+01:00 Put all wired-in stuff under GHC.Builtin * Move the wired-in Ids from GHC.Types.Id.Make to the new module GHC.Builtin.WiredIn.Ids * Move GHC.Builtin.Types -> GHC.Builtin.WiredIn.Types GHC.Builtin.Types.Prim -> GHC.Builtin.WiredIn.Prim GHC.Builtin.Types.Literals -> GHC.Builtin.WiredIn.TypeLits - - - - - 137 changed files: - + changelog.d/refactor-known-names - compiler/GHC.hs - compiler/GHC/Builtin.hs - compiler/GHC/Builtin/KnownOccs.hs - compiler/GHC/Builtin/PrimOps.hs - compiler/GHC/Builtin/PrimOps/Casts.hs - compiler/GHC/Builtin/PrimOps/Ids.hs - compiler/GHC/Builtin/Uniques.hs - + compiler/GHC/Builtin/WiredIn/Ids.hs - compiler/GHC/Builtin/Types/Prim.hs → compiler/GHC/Builtin/WiredIn/Prim.hs - compiler/GHC/Builtin/Types/Literals.hs → compiler/GHC/Builtin/WiredIn/TypeLits.hs - compiler/GHC/Builtin/Types.hs → compiler/GHC/Builtin/WiredIn/Types.hs - compiler/GHC/Builtin/Types.hs-boot → compiler/GHC/Builtin/WiredIn/Types.hs-boot - compiler/GHC/ByteCode/Asm.hs - compiler/GHC/Core/Coercion.hs - compiler/GHC/Core/FVs.hs - compiler/GHC/Core/FamInstEnv.hs - compiler/GHC/Core/Lint.hs - compiler/GHC/Core/Make.hs - compiler/GHC/Core/Multiplicity.hs - compiler/GHC/Core/Opt/Arity.hs - compiler/GHC/Core/Opt/ConstantFold.hs - compiler/GHC/Core/Opt/DmdAnal.hs - compiler/GHC/Core/Opt/LiberateCase.hs - compiler/GHC/Core/Opt/SetLevels.hs - compiler/GHC/Core/Opt/Simplify/Env.hs - compiler/GHC/Core/Opt/Simplify/Iteration.hs - compiler/GHC/Core/Opt/SpecConstr.hs - compiler/GHC/Core/Opt/Specialise.hs - compiler/GHC/Core/Opt/WorkWrap/Utils.hs - compiler/GHC/Core/Predicate.hs - compiler/GHC/Core/Rules.hs - compiler/GHC/Core/SimpleOpt.hs - compiler/GHC/Core/TyCo/FVs.hs - compiler/GHC/Core/TyCo/Rep.hs - compiler/GHC/Core/TyCon.hs - compiler/GHC/Core/Type.hs - compiler/GHC/Core/Unify.hs - compiler/GHC/CoreToIface.hs - compiler/GHC/CoreToStg.hs - compiler/GHC/CoreToStg/Prep.hs - compiler/GHC/Hs/Expr.hs - compiler/GHC/Hs/Pat.hs - compiler/GHC/Hs/Syn/Type.hs - compiler/GHC/Hs/Type.hs - compiler/GHC/Hs/Utils.hs - compiler/GHC/HsToCore.hs - compiler/GHC/HsToCore/Arrows.hs - compiler/GHC/HsToCore/Binds.hs - compiler/GHC/HsToCore/Expr.hs - compiler/GHC/HsToCore/Foreign/C.hs - compiler/GHC/HsToCore/Foreign/Call.hs - compiler/GHC/HsToCore/Foreign/JavaScript.hs - compiler/GHC/HsToCore/Foreign/Utils.hs - compiler/GHC/HsToCore/Foreign/Wasm.hs - compiler/GHC/HsToCore/ListComp.hs - compiler/GHC/HsToCore/Match.hs - compiler/GHC/HsToCore/Match/Literal.hs - compiler/GHC/HsToCore/Pmc/Desugar.hs - compiler/GHC/HsToCore/Pmc/Ppr.hs - compiler/GHC/HsToCore/Pmc/Solver.hs - compiler/GHC/HsToCore/Pmc/Solver/Types.hs - compiler/GHC/HsToCore/Quote.hs - compiler/GHC/HsToCore/Utils.hs - compiler/GHC/Iface/Load.hs - compiler/GHC/Iface/Syntax.hs - compiler/GHC/Iface/Type.hs - compiler/GHC/IfaceToCore.hs - compiler/GHC/Parser.y - compiler/GHC/Parser/PostProcess.hs - compiler/GHC/Plugins.hs - compiler/GHC/Rename/Env.hs - compiler/GHC/Rename/Expr.hs - compiler/GHC/Rename/HsType.hs - compiler/GHC/Rename/Pat.hs - compiler/GHC/Runtime/Debugger.hs - compiler/GHC/Runtime/Eval.hs - compiler/GHC/Runtime/Heap/Inspect.hs - compiler/GHC/Stg/BcPrep.hs - compiler/GHC/Stg/Unarise.hs - compiler/GHC/StgToByteCode.hs - compiler/GHC/StgToCmm/Env.hs - compiler/GHC/StgToCmm/Foreign.hs - compiler/GHC/StgToCmm/Lit.hs - compiler/GHC/StgToJS/Arg.hs - compiler/GHC/StgToJS/FFI.hs - compiler/GHC/StgToJS/Linker/Utils.hs - compiler/GHC/Tc/Deriv/Functor.hs - compiler/GHC/Tc/Deriv/Generate.hs - compiler/GHC/Tc/Deriv/Generics.hs - compiler/GHC/Tc/Deriv/Infer.hs - compiler/GHC/Tc/Errors/Hole.hs - compiler/GHC/Tc/Errors/Ppr.hs - compiler/GHC/Tc/Gen/App.hs - compiler/GHC/Tc/Gen/Arrow.hs - compiler/GHC/Tc/Gen/Bind.hs - compiler/GHC/Tc/Gen/Expr.hs - compiler/GHC/Tc/Gen/Foreign.hs - compiler/GHC/Tc/Gen/HsType.hs - compiler/GHC/Tc/Gen/Match.hs - compiler/GHC/Tc/Gen/Pat.hs - compiler/GHC/Tc/Gen/Splice.hs - compiler/GHC/Tc/Instance/Class.hs - compiler/GHC/Tc/Instance/Typeable.hs - compiler/GHC/Tc/Module.hs - compiler/GHC/Tc/Solver/Default.hs - compiler/GHC/Tc/Solver/FunDeps.hs - compiler/GHC/Tc/Solver/Rewrite.hs - compiler/GHC/Tc/TyCl.hs - compiler/GHC/Tc/TyCl/Build.hs - compiler/GHC/Tc/TyCl/PatSyn.hs - compiler/GHC/Tc/TyCl/Utils.hs - compiler/GHC/Tc/Types/Evidence.hs - compiler/GHC/Tc/Utils/Concrete.hs - compiler/GHC/Tc/Utils/Env.hs - compiler/GHC/Tc/Utils/Instantiate.hs - compiler/GHC/Tc/Utils/Monad.hs - compiler/GHC/Tc/Utils/TcMType.hs - compiler/GHC/Tc/Utils/TcType.hs - compiler/GHC/Tc/Utils/Unify.hs - compiler/GHC/Tc/Validity.hs - compiler/GHC/Tc/Zonk/Type.hs - compiler/GHC/ThToHs.hs - compiler/GHC/Types/Id/Make.hs - compiler/GHC/Types/Literal.hs - compiler/GHC/Types/Name.hs - compiler/GHC/Types/Name/Cache.hs - compiler/GHC/Types/Name/Ppr.hs - compiler/GHC/Types/RepType.hs - compiler/GHC/Types/Var.hs - compiler/ghc.cabal.in - libraries/ghc-internal/src/GHC/Internal/System/Environment/ExecutablePath.hsc - utils/haddock/haddock-api/src/Haddock/Convert.hs - utils/haddock/haddock-api/src/Haddock/GhcUtils.hs - utils/haddock/haddock-api/src/Haddock/Interface/AttachInstances.hs - utils/haddock/haddock-api/src/Haddock/Interface/Create.hs - utils/haddock/haddock-api/src/Haddock/Interface/Rename.hs The diff was not included because it is too large. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/420703ea6efded9e20d8562d71e71e0… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/420703ea6efded9e20d8562d71e71e0… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/jeltsch/text-read-implementation-into-base] 3 commits: Move most of the `System.IO` implementation into `base`
by Wolfgang Jeltsch (＠jeltsch) 18 Apr '26

18 Apr '26

Wolfgang Jeltsch pushed to branch wip/jeltsch/text-read-implementation-into-base at Glasgow Haskell Compiler / GHC Commits: 91267f05 by Wolfgang Jeltsch at 2026-04-18T15:58:55+03:00 Move most of the `System.IO` implementation into `base` This involves a rewrite of the `combine` helper function to avoid the use of `last`, which would now be flagged as an error. Metric Decrease: LinkableUsage01 T3294 Metric Increase: T12227 T12707 T5642 - - - - - a39359fb by Wolfgang Jeltsch at 2026-04-18T16:01:11+03:00 Move code that uses `GHC.Internal.Text.Read` into `base` This contribution serves to remove all dependencies on `GHC.Internal.Text.Read` from within `ghc-internal`, so that the implementation of `Text.Read` and ultimately more reading-related code can be moved to `base` as well. The following things are moved from `ghc-internal` to `base`: * I/O-related `Read` instances * Most of the `Numeric` implementation * The instance `Read ByteOrder` * The `parseVersion` operation * The `readConstr` operation Metric Increase: LinkableUsage01 T12425 T13035 - - - - - 8de60779 by Wolfgang Jeltsch at 2026-04-18T16:01:44+03:00 Move the `Text.Read` implementation into `base` - - - - - 47 changed files: - libraries/base/src/Control/Concurrent.hs - libraries/base/src/Data/Data.hs - libraries/base/src/Data/Functor/Classes.hs - libraries/base/src/Data/Functor/Compose.hs - libraries/base/src/Data/Version.hs - libraries/base/src/GHC/ByteOrder.hs - libraries/base/src/GHC/IO/Handle.hs - libraries/base/src/Numeric.hs - libraries/base/src/Prelude.hs - libraries/base/src/System/IO.hs - libraries/base/src/Text/Printf.hs - libraries/base/src/Text/Read.hs - libraries/ghc-internal/ghc-internal.cabal.in - libraries/ghc-internal/src/GHC/Internal/Data/Data.hs - libraries/ghc-internal/src/GHC/Internal/Data/Version.hs - libraries/ghc-internal/src/GHC/Internal/IO/Device.hs - libraries/ghc-internal/src/GHC/Internal/IO/Handle/Types.hs - libraries/ghc-internal/src/GHC/Internal/IO/IOMode.hs - libraries/ghc-internal/src/GHC/Internal/Numeric.hs - libraries/ghc-internal/src/GHC/Internal/Read.hs - libraries/ghc-internal/src/GHC/Internal/System/IO.hs - − libraries/ghc-internal/src/GHC/Internal/Text/Read.hs - 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/plugins/plugins09.stdout - testsuite/tests/plugins/plugins10.stdout - testsuite/tests/plugins/plugins11.stdout - testsuite/tests/plugins/static-plugins.stdout - testsuite/tests/typecheck/should_compile/T9497a.stderr - testsuite/tests/typecheck/should_compile/holes.stderr - testsuite/tests/typecheck/should_compile/holes3.stderr - testsuite/tests/typecheck/should_compile/valid_hole_fits.stderr - testsuite/tests/typecheck/should_fail/T9497d.stderr - testsuite/tests/typecheck/should_run/T9497a-run.stderr - testsuite/tests/typecheck/should_run/T9497b-run.stderr - testsuite/tests/typecheck/should_run/T9497c-run.stderr - utils/haddock/html-test/ref/Bug1004.html - utils/haddock/html-test/ref/Bug973.html - utils/haddock/html-test/ref/ConstructorPatternExport.html - utils/haddock/html-test/ref/DefaultSignatures.html - utils/haddock/html-test/ref/Hash.html - utils/haddock/html-test/ref/PatternSyns.html - utils/haddock/html-test/ref/PatternSyns2.html - utils/haddock/html-test/ref/QuasiExpr.html - utils/haddock/html-test/ref/Test.html The diff was not included because it is too large. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/b1465aa2d4e450049452a52a3c0d52… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/b1465aa2d4e450049452a52a3c0d52… You're receiving this email because of your account on gitlab.haskell.org.

1 0