September 2026 - ghc-commits

[Git][ghc/ghc][wip/T27737] Wibbles and documentation
by Simon Peyton Jones (＠simonpj) 18 Sep '26

18 Sep '26

Simon Peyton Jones pushed to branch wip/T27737 at Glasgow Haskell Compiler / GHC Commits: 6913545f by Simon Peyton Jones at 2026-09-18T16:57:28+01:00 Wibbles and documentation - - - - - 2 changed files: - compiler/GHC/Core/Opt/Simplify/Iteration.hs - compiler/GHC/Driver/Config/Core/Opt/Simplify.hs Changes: ===================================== compiler/GHC/Core/Opt/Simplify/Iteration.hs ===================================== @@ -1283,6 +1283,12 @@ simplExprF1 env expr@(Lam {}) cont -- and likewise drop counts all binders (incl type lambdas) simplExprF1 env (Case scrut bndr _ alts) cont + | not (seCaseCase env) -- See (COC-INV) in Note [sm_case_case: switching off case continuations] + = do { let scrut_out_ty = substTy env (idType bndr) + ; scrut' <- simplExprC env scrut (mkBoringStop scrut_out_ty) + ; rebuildCase (SAF_In, env) scrut' bndr alts cont } + + | otherwise = {-#SCC "simplExprF1-Case" #-} simplExprF env scrut (Select { sc_bndr = bndr, sc_alts = alts , sc_env = UnSimplified env, sc_cont = cont }) @@ -1304,15 +1310,6 @@ simplExprF1 env (Let (NonRec bndr rhs) body) cont tick (PreInlineUnconditionally bndr) ; simplExprF env' body cont } --- If -fno-case-of-case, push /only applications/ inside a 'let', lest we --- lose a join point. See Note [Join points with -fno-case-of-case] -simplExprF1 env let_expr@(Let {}) cont - | not (seCaseCase env) - , (inner, outer) <- splitContArgs cont - , not (contIsStop outer) - = do { let_expr' <- simplExprC env let_expr inner - ; rebuild env let_expr' outer } - -- Now check for a join point. It's better to do the preInlineUnconditionally -- test first, because joinPointBinding_maybe has to eta-expand, so a trivial -- binding like { j = j2 |> co } would first be eta-expanded and then inlined @@ -2026,9 +2023,10 @@ simplNonRecE env from_what bndr (rhs, rhs_se) body cont -- If not, the invariant holds already, and it's optional. -- (FromBeta Lifted) or FromLet: look at the demand info + -- seCaseCase: see (COC-INV) + -- in Note [sm_case_case: switching off case continuations] _ -> seCaseCase env && isStrUsedDmd (idDemandInfo bndr) - ------------------ simplRecE :: SimplEnv -> [(InId, InExpr)] @@ -2131,15 +2129,14 @@ wrapJoinCont :: SimplEnv -> SimplCont -- Deal with making the continuation duplicable if necessary, -- and with the no-case-of-case situation. wrapJoinCont env cont thing_inside - | contIsStop cont -- Common case; no need for fancy footwork + | contIsStop cont -- Fast path: no need for fancy footwork = thing_inside env cont | otherwise -- Normal case; see Note [Join points and case-of-case] -- Case-of-case should be /on/ here, else we should not -- be in wrapJoinCont in the first place - = assertPpr (seCaseCase env) (ppr cont) $ - do { (floats1, cont') <- mkDupableCont env cont + = do { (floats1, cont') <- mkDupableCont env cont ; (floats2, result) <- thing_inside (env `setInScopeFromF` floats1) cont' ; return (floats1 `addFloats` floats2, result) } @@ -2168,8 +2165,84 @@ trimJoinCont var (JoinPoint arity) cont = pprPanic "completeCall" $ ppr var $$ ppr cont -{- Note [Join points and case-of-case] -~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +{- Note [sm_case_case: switching off case continuations] +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Normally when we come across a `case` expression, we just push a `Select` +continuation onto the continuation, roughly like this. + simplExprF (Case scrut alts) cont + = simplExprF scrut (Select alts cont) + +There are two reasons that we might NOT want to do this + +1. Loss of full laziness. The case-of-case transformation can hide + opportunities for let-floating (aka full laziness). For example + rec { f = \y. case (expensive x) of (a,b) -> blah } + We might hope to float the (expensive x) out of the \y-loop. + But if we inline `expensive` we might get + \y. case (case x of I# x' -> body) of (a,b) -> blah + Now if we do case-of-case we get + \y. case x if I# x2 -> + case body of (a,b) -> blah + + Sadly, at this point `body` mentions `x2`, so we can't float it out of the \y-loop. + +2. Pushing a `case` inside a `let` can prevent a join point from being + discovered (#27737). For example + case (letrec j x y = ... in id (j p q)) of blah + Here `j` is not /yet/ a join point, because it is not tail called, but it + well become one after we inline `id`. But if we push that `case` inwards + at the same time as inlinine `id` we'll get + letrec j x y = ... in case (j p q) of blah + and now `j` /still/ isn't a join point, and will never become one. This + matters in practice: #27737 + +Solution in both cases: in the "gentle" simplification phase that precedes the +first float-out transformation, never push a `Select` continuation. So we +do not push the `case` inwards. This behaiour is controlled by the `sm_case_case` +field of `SimplMode`, interrogated via `seCaseCase`. + +Some specifics, for when `sm_case_case` is False: + +(COC-INV) When `sm_case_case` is False we obey the following invariant: + The SimplCont never contains + - Select + - StrictBind + - StrictArg + This is achieved by testing `seCaseCase` just before pushing any of + those three constructors. Why StrictBind and StrictArg? Because + they mess with evaluation order in the same way that Select does. + +(COC1) The (COC-INV) also solves #25055, where we pushed a `case` inside `runRW`: + case (runRW# (\s. body)) of (a,b) -> blah + ---> + runRW# (\s. case body of (a,b) -> blah) + Again, we don't want to this when `sm_case_case` is False, but that falls + out as a simple consequence of (COC-INV) + +(COC2) Supose `sm_case_case` is False, and we are simplifying + + case (join j x = <j-rhs> in + case y of + A -> j 1 + B -> j 2 + C -> e) of <outer-alts> + + Usually, we'd push the outer continuation (case . of <outer-alts>) into + both the RHS and the body of the join point j. But since we aren't doing + case-of-case we could end up with this totally bogus result + + join x = case <j-rhs> of <outer-alts> in + case (case y of + A -> j 1 + B -> j 2 + C -> e) of <outer-alts> + + Again, (COC-INV) neatly avoid this bogosity: we never push a Select + onto the continuation. This is much nicer than switching off case-of-case + specifically (which we used to do). + +Note [Join points and case-of-case] +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ When we perform the case-of-case transform (or otherwise push continuations inward), we want to treat join points specially. Since they're always tail-called and we want to maintain this invariant, we can do this (for any @@ -2317,7 +2390,7 @@ simplOutId :: SimplEnvIS -> OutId -> SimplCont -> SimplM (SimplFloats, OutExpr) simplOutId env fun cont | fun `hasKey` runRWKey , ApplyToTy { sc_cont = cont1 } <- cont - , ApplyToTy { sc_cont = cont2, sc_arg_ty = hole_ty } <- cont1 + , ApplyToTy { sc_cont = cont2 } <- cont1 , ApplyToVal { sc_cont = cont3, sc_arg = arg, sc_cast = arg_mco , sc_env = arg_se, sc_hole_ty = fun_ty } <- cont2 -- Do this even if (contIsStop cont), or if seCaseCase is off. @@ -2326,11 +2399,6 @@ simplOutId env fun cont overall_res_ty = contResultType cont3 -- hole_ty is the type of the current runRW# application - (outer_cont, new_runrw_res_ty, inner_cont) - | seCaseCase env = (mkBoringStop overall_res_ty, overall_res_ty, cont3) - | otherwise = (cont3, hole_ty, mkBoringStop hole_ty) - -- Only when case-of-case is on. See GHC.Driver.Config.Core.Opt.Simplify - -- See (COC1) in Note [Case-of-case and full laziness] -- If the argument is a literal lambda already, take a short cut -- This isn't just efficiency: @@ -2339,27 +2407,27 @@ simplOutId env fun cont -- * Even more important: see Note [No eta-expansion in runRW#] ; arg' <- case arg of Lam s body -> do { (env', s') <- simplBinder arg_env s - ; body' <- simplExprC env' body inner_cont + ; body' <- simplExprC env' body cont3 ; return (Lam s' body') } -- Important: do not try to eta-expand this lambda -- See Note [No eta-expansion in runRW#] _ -> do { s' <- newId (fsLit "s") ManyTy realWorldStatePrimTy ; let (m,_,_) = splitFunTy fun_ty - env' = arg_env `addNewInScopeIds` [s'] - hole_ty = mkVisFunTy m realWorldStatePrimTy new_runrw_res_ty + env' = arg_env `addNewInScopeIds` [s'] + hole_ty = mkVisFunTy m realWorldStatePrimTy overall_res_ty ; cont' <- pushCastMCo env' arg_mco $ - ApplyToVal { sc_arg = Var s', sc_cast = MRefl - , sc_env = Simplified OkDup - , sc_cont = inner_cont + ApplyToVal { sc_arg = Var s', sc_cast = MRefl + , sc_env = Simplified OkDup + , sc_cont = cont3 , sc_hole_ty = hole_ty } -- cont' applies to s', then K ; body' <- simplExprC env' arg cont' ; return (Lam s' body') } - ; let rr' = getRuntimeRep new_runrw_res_ty - call' = mkApps (Var fun) [mkTyArg rr', mkTyArg new_runrw_res_ty, arg'] - ; rebuild_go env call' outer_cont } + ; let rr' = getRuntimeRep overall_res_ty + call' = mkApps (Var fun) [mkTyArg rr', mkTyArg overall_res_ty, arg'] + ; return (emptyFloats env, call') } -- Normal case for (f e1 .. en) simplOutId env fun cont @@ -2424,8 +2492,8 @@ rebuildCall env fun_info , sc_hole_ty = fun_ty, sc_cont = cont }) | UnSimplified arg_env <- arg_se , isStrictArgInfo fun_info -- Strict arguments - , seCaseCase env -- But only when case-of-case is on. - -- See Note [Case-of-case and full laziness] + , seCaseCase env -- But only when case-of-case is on; see (COC-INV) + -- in Note [sm_case_case: switching off case continuations] = simplExprF (arg_env `setInScopeFromE` env) arg $ addCastMCo arg_mco $ StrictArg { sc_fun = fun_info, sc_fun_ty = fun_ty @@ -3312,14 +3380,6 @@ doCaseToLet scrut case_bndr -------------------------------------------------- reallyRebuildCase (saf,env) scrut case_bndr alts cont - | not (seCaseCase env) -- Only when case-of-case is on. - -- See GHC.Driver.Config.Core.Opt.Simplify - -- Note [Case-of-case and full laziness] - = do { case_expr <- simplAlts (saf,env) scrut case_bndr alts - (mkBoringStop (contHoleType cont)) - ; rebuild env case_expr cont } - - | otherwise = do { (floats, env', cont') <- mkDupableCaseCont env alts cont ; case_expr <- simplAlts (saf,env') scrut (scaleIdBy holeScaling case_bndr) ===================================== compiler/GHC/Driver/Config/Core/Opt/Simplify.hs ===================================== @@ -80,7 +80,7 @@ initGentleSimplMode :: DynFlags -> SimplMode initGentleSimplMode dflags = (initSimplMode dflags InitialPhase "Gentle") { -- Don't do case-of-case transformations. -- This makes full laziness work better - -- See Note [Case-of-case and full laziness] + -- See Note [sm_case_case: switching off case continuations] sm_case_case = False } @@ -90,80 +90,3 @@ floatEnable dflags = (True, True) -> FloatEnabled (True, False)-> FloatNestedOnly (False, _) -> FloatDisabled - - -{- Note [Case-of-case and full laziness] -~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -Case-of-case can hide opportunities for let-floating (full laziness). -For example - rec { f = \y. case (expensive x) of (a,b) -> blah } -We might hope to float the (expensive x) out of the \y-loop. -But if we inline `expensive` we might get - \y. case (case x of I# x' -> body) of (a,b) -> blah -Now if we do case-of-case we get - \y. case x if I# x2 -> - case body of (a,b) -> blah - -Sadly, at this point `body` mentions `x2`, so we can't float it out of the -\y-loop. - -Solution: don't do case-of-case in the "gentle" simplification phase that -precedes the first float-out transformation. Implementation: - - * `sm_case_case` field in SimplMode - - * If `sm_case_case` is False (tested via `seCaseCase`), then: - (COC1) When simplifying (case scrut of alts), do not make a Select continuation. - This happens in the `Case` case of `simplExprF`. - (COC2) When simplifying (f arg), where `f` is strict, do not make a StrictArg - continuation. See the `ApplyToVal` case of `rebuildArg`. - - ...more to come... - in GHC.Core.Opt.Simplify.Iteration.rebuildCall. - - (COC3) This applies equally to the case-of-runRW# transformation: - case (runRW# (\s. body)) of (a,b) -> blah - ---> - runRW# (\s. case body of (a,b) -> blah) - Again, don't do this when `sm_case_case` is off. - See #25055 for a motivating example. - -Note [Join points with -fno-case-of-case] FIX ME -~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -Supose case-of-case is switched off, and we are simplifying - - case (join j x = <j-rhs> in - case y of - A -> j 1 - B -> j 2 - C -> e) of <outer-alts> - -Usually, we'd push the outer continuation (case . of <outer-alts>) into -both the RHS and the body of the join point j. But since we aren't doing -case-of-case we may then end up with this totally bogus result - - join x = case <j-rhs> of <outer-alts> in - case (case y of - A -> j 1 - B -> j 2 - C -> e) of <outer-alts> - -This would be OK in the language of the paper, but not in GHC: j is no longer -a join point. We can only do the "push continuation into the RHS of the -join point j" if we also push the continuation right down to the /jumps/ to -j, so that it can evaporate there (trimJoinCont). Then, if we are doing -case-of-case, we'll get to: - - join x = case <j-rhs> of <outer-alts> in - case y of - A -> j 1 - B -> j 2 - C -> case e of <outer-alts> - -which is great. - -Bottom line: if case-of-case is off, we must stop pushing the continuation -inwards altogether at any join point. Instead simplify the (join ... in ...) -with a Stop continuation, and wrap the original continuation around the -outside. Surprisingly tricky! --} View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/6913545fd388ad9e9258b7c8b33b23d… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/6913545fd388ad9e9258b7c8b33b23d… You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications: https://gitlab.haskell.org/-/profile/notifications | Help: https://gitlab.haskell.org/help

1 0

[Git][ghc/ghc][wip/davide/io_manager_tests] Add test modifier to test over all IO Managers
by David Eichmann (＠DavidEichmann) 18 Sep '26

18 Sep '26

David Eichmann pushed to branch wip/davide/io_manager_tests at Glasgow Haskell Compiler / GHC Commits: b876112e by GHC GitLab CI at 2026-09-18T16:03:44+01:00 Add test modifier to test over all IO Managers - - - - - 4 changed files: - testsuite/config/ghc - testsuite/driver/testglobals.py - testsuite/driver/testlib.py - testsuite/tests/rts/all.T Changes: ===================================== testsuite/config/ghc ===================================== @@ -315,6 +315,67 @@ def get_compiler_info(): config.ghc_th_way = "normal" config.ghc_th_hi_ext = "hi" + # I/O manager discovery. + # + # Which I/O managers (GHC's `--io-manager` RTS flag) a given RTS build + # supports depends on the target platform and on whether the RTS is the + # threaded or non-threaded flavour (see rts/IOManager.h's + # IOMGR_ENABLED_* macros). Rather than duplicate that platform/way + # dependent logic here, we ask the RTS itself: giving it a bogus + # '--io-manager=' choice makes it print, on stderr, the list of I/O + # managers it was actually built to support (see IOManager.h's + # IOMGRS_ENABLED_STR, used when reporting the error in RtsFlags.c), + # which we then parse out. + def discover_io_managers(extra_flags): + import tempfile + + test_src = 'module Main where\nmain :: IO ()\nmain = return ()\n' + + with tempfile.TemporaryDirectory() as d: + src = Path(d) / 'IOMgrProbe.hs' + src.write_text(test_src) + exe = Path(d) / ('ioMgrProbe' + config.exeext) + + # -rtsopts is needed so that the resulting binary will even + # consider an --io-manager= flag (rather than immediately + # rejecting all "unsafe" RTS options). + cmd = '{} -v0 -rtsopts -o {} {} {}'.format( + config.compiler, + exe, + src, + ' '.join(extra_flags)) + cp = subprocess.run( + cmd, + shell=True, + cwd=d, + stdout=subprocess.DEVNULL, + stderr=None if config.verbose >= 3 else subprocess.DEVNULL) + if cp.returncode != 0 or not exe.exists(): + raise Exception("Error in testsuite/config/ghc.discover_io_managers: failed to compile with: {}".format(cmd)) + + # An unrecognised '--io-manager=' choice makes the RTS print + # the ones it does support, then exit; we don't care that + # the program itself never gets to run main. + rp = subprocess.run( + [str(exe), '+RTS', '--io-manager=not-a-real-io-manager', '-RTS'], + cwd=d, + stdout=subprocess.DEVNULL, + stderr=subprocess.PIPE) + stderr = rp.stderr.decode('utf-8', errors='replace') + + m = re.search(r'choices are:\s*(.*)', stderr) + if not m: + raise Exception("Expected stderr output of form 'choices are: ...' but got: {}".format(stderr)); + # 'auto' is a meta-choice (let the RTS pick a default for us), not + # an I/O manager implementation in its own right. + return list(set(m.group(1).split()) - {'auto'}) + + config.io_managers_nonthreaded = discover_io_managers([]) + config.io_managers_threaded = ( + discover_io_managers(['-threaded']) if config.ghc_with_threaded_rts + else []) + config.io_managers_all = list(set(config.io_managers_nonthreaded).union(set(config.io_managers_threaded))) + config.cmm_cpp_is_gcc = test_compile( ['-c'], test_filename='test.cmm', ===================================== testsuite/driver/testglobals.py ===================================== @@ -126,6 +126,15 @@ class TestConfig: self.way_flags = {} # type: Dict[WayName, List[str]] self.way_rts_flags = {} # type: Dict[WayName, List[str]] + # I/O managers (GHC's `--io-manager` RTS flag) supported by the threaded runtime. + self.io_managers_threaded = [] # type: List[str] + + # I/O managers (GHC's `--io-manager` RTS flag) supported by the non-threaded runtime. + self.io_managers_nonthreaded = [] # type: List[str] + + # All I/O managers (GHC's `--io-manager` RTS flag) + self.io_managers_all = [] # type: List[str] + # Do we have a functional LLVM toolchain? self.have_llvm = False @@ -366,6 +375,11 @@ class TestOptions: # add these ways to the default set self.extra_ways = [] # type: List[WayName] + # IO Managers to test + # * None - only default IO Manager + # * [...] - list of io managers e.g. "mio" or "poll" + self.io_managers = [] # type: None | List[str] + # the result we normally expect for this test self.expect = 'pass' ===================================== testsuite/driver/testlib.py ===================================== @@ -569,6 +569,33 @@ def extra_ways( ways: List[WayName] ): return helper +# ----- + +def _io_managers( name: TestName, opts, io_mgrs: List[str] ) -> None: + opts.io_managers = io_mgrs + +def io_managers( io_mgrs: List[str] ): + """ + Run this test once for each of the given I/O managers (identified by + the name used with GHC's `--io-manager` RTS flag, e.g. 'mio', + 'select', 'winio'), instead of the usual set of ways. I/O managers + that are not supported on the current platform/build are silently + skipped. + """ + return lambda name, opts: _io_managers(name, opts, io_mgrs) + +def all_io_managers( name: TestName, opts ): + """ + Run this test once for each I/O manager supported by this + platform/build. + """ + _io_managers(name, opts, config.io_managers_all) + +def all_io_managers_except(exclude: List[str]): + """ + Like all_io_managers, but excluding the given I/O managers. + """ + return lambda name, opts: _io_managers(name, opts, list(set(config.io_managers_all) - set(exclude))) # ----- @@ -1573,6 +1600,12 @@ do_not_copy = ('.hi', '.o', '.dyn_hi' , '.dyn_o', '.out' ,'.hi-boot', '.o-boot') # 12112 +def way_supports_io_manager(way: WayName, io_manager: None | str) -> bool: + if not io_manager: + return True + way_is_threaded = '-threaded' in config.way_rts_flags[way] + return io_manager in config.io_managers_threaded if way_is_threaded else io_manager in config.io_managers_nonthreaded + async def test_common_work(name: TestName, opts, func, args) -> None: try: @@ -1582,11 +1615,14 @@ async def test_common_work(name: TestName, opts, package_conf_cache_file_start_timestamp = get_package_cache_timestamp() # All the ways we might run this test + func_has_io_manager_param = False if func == compile or func == multimod_compile: all_ways = config.compile_ways elif func in [compile_and_run, multi_compile_and_run, multimod_compile_and_run]: all_ways = config.run_ways + func_has_io_manager_param = True elif func == ghci_script or func == ghci_multiunit_script: + func_has_io_manager_param = True if config.have_interp: all_ways = [WayName('ghci'), WayName('ghci-opt')] else: @@ -1616,12 +1652,28 @@ async def test_common_work(name: TestName, opts, if needsTargetWrapper(): opts.skip = True else: + if func in [backpack_run, warn_and_run]: + func_has_io_manager_param = True all_ways = [WayName('normal')] # A test itself can request extra ways by setting opts.extra_ways all_ways = list(OrderedDict.fromkeys(all_ways + [way for way in opts.extra_ways if way not in all_ways])) - t.total_test_cases += len(all_ways) + # We run each way over each io manager + all_io_managers = opts.io_managers if func_has_io_manager_param and opts.io_managers else [None] + all_ways_and_io_managers = dict( + ( + way, + [io_manager + for io_manager in all_io_managers + if way_supports_io_manager(way, io_manager) + ] + ) + for way in all_ways + ) + + for io_managers in all_ways_and_io_managers.values(): + t.total_test_cases += len(io_managers) only_ways = getTestOpts().only_ways ok_way = lambda way: \ @@ -1704,17 +1756,26 @@ async def test_common_work(name: TestName, opts, # Run the required tests... for way in do_ways: - if stopping(): - break - try: - await do_test(name, way, func, args, files) - except KeyboardInterrupt: - stopNow() - except Exception as e: - traceback.print_exc() - framework_fail(name, way, traceback.format_exc()) + for io_manager in all_ways_and_io_managers[way]: + if stopping(): + break + try: + await do_test( + name, + way, + io_manager, + func, + args, + files) + except KeyboardInterrupt: + stopNow() + except Exception as e: + traceback.print_exc() + framework_fail(name, way, traceback.format_exc()) + + for skipped_way in set(all_ways) - set(do_ways): + t.n_tests_skipped += len(all_ways_and_io_managers[skipped_way]) - t.n_tests_skipped += len(set(all_ways) - set(do_ways)) if getTestOpts().expect == 'missing-lib': t.n_missing_libs += 1 if config.cleanup and do_ways: @@ -1733,6 +1794,7 @@ async def test_common_work(name: TestName, opts, async def do_test(name: TestName, way: WayName, + io_manager: None | str, func: Callable[..., Awaitable[PassFail]], args, files: Set[str] @@ -1740,6 +1802,8 @@ async def do_test(name: TestName, opts = getTestOpts() full_name = name + '(' + way + ')' + if io_manager: + full_name += ' (IO Manager: {})'.format(io_manager) test_n = len(allTestNames) progress_args = [ full_name, t.total_tests, test_n, [len(t.unexpected_passes), @@ -1820,7 +1884,8 @@ async def do_test(name: TestName, # Don't continue and try to run the test if the pre_cmd fails. return - result = await func(*[name,way] + args) + io_manager_arg = [io_manager] if io_manager else [] + result = await func(*[name,way] + io_manager_arg + args) if opts.expect not in ['pass', 'fail', 'missing-lib']: framework_fail(name, way, 'bad expected ' + opts.expect) @@ -1909,19 +1974,19 @@ def framework_warn(name: TestName, way: WayName, reason: str) -> None: # run_command. async def run_command( name, way, cmd ): - return await simple_run( name, '', override_options(cmd), '' ) + return await simple_run( name, '', None, override_options(cmd), '' ) async def makefile_test( name, way, target=None ): if target is None: target = name cmd = '$MAKE -s --no-print-directory {target}'.format(target=target) - return await run_command(name, way, cmd) + return await run_command(name, way, None, cmd) # ----------------------------------------------------------------------------- # GHCi tests -async def ghci_script( name, way, script): +async def ghci_script( name, way, io_manager, script): flags = ' '.join(get_compiler_flags()) way_flags = ' '.join(config.way_flags[way]) @@ -1932,9 +1997,9 @@ async def ghci_script( name, way, script): # NB: put way_flags before flags so that flags in all.T can override others getTestOpts().stdin = script - return await simple_run( name, way, cmd, getTestOpts().extra_run_opts ) + return await simple_run( name, way, io_manager, cmd, getTestOpts().extra_run_opts ) -async def ghci_multiunit_script( name, way, units, script): +async def ghci_multiunit_script( name, way, io_manager, units, script): flags = ' '.join(get_compiler_flags()) way_flags = ' '.join(config.way_flags[way]) unit_flags = ' '.join(['-unit @%s' % unit for unit in units]) @@ -1946,7 +2011,7 @@ async def ghci_multiunit_script( name, way, units, script): # NB: put way_flags before flags so that flags in all.T can override others getTestOpts().stdin = script - return await simple_run( name, way, cmd, getTestOpts().extra_run_opts ) + return await simple_run( name, way, io_manager, cmd, getTestOpts().extra_run_opts ) # ----------------------------------------------------------------------------- # Compile-only tests @@ -2126,6 +2191,7 @@ async def compile_grep_core(name: TestName, async def compile_and_run__(name: TestName, way: WayName, + io_manager: None | str, top_mod: Path, extra_mods: List[str], extra_hc_opts: str, @@ -2168,22 +2234,22 @@ async def compile_and_run__(name: TestName, cmd = './' + name + extension # we don't check the compiler's stderr for a compile-and-run test - return await simple_run( name, way, cmd, getTestOpts().extra_run_opts ) + return await simple_run( name, way, io_manager, cmd, getTestOpts().extra_run_opts ) -async def compile_and_run( name, way, extra_hc_opts ): - return await compile_and_run__( name, way, None, [], extra_hc_opts) +async def compile_and_run( name, way, io_manager, extra_hc_opts ): + return await compile_and_run__( name, way, io_manager, None, [], extra_hc_opts) -async def backpack_run( name, way, extra_hc_opts ): - return await compile_and_run__( name, way, None, [], extra_hc_opts, backpack=True ) +async def backpack_run( name, way, io_manager, extra_hc_opts ): + return await compile_and_run__( name, way, io_manager, None, [], extra_hc_opts, backpack=True ) -async def multimod_compile_and_run( name, way, top_mod, extra_hc_opts ): - return await compile_and_run__( name, way, top_mod, [], extra_hc_opts) +async def multimod_compile_and_run( name, way, io_manager, top_mod, extra_hc_opts ): + return await compile_and_run__( name, way, io_manager, top_mod, [], extra_hc_opts) -async def multi_compile_and_run( name, way, top_mod, extra_mods, extra_hc_opts ): - return await compile_and_run__( name, way, top_mod, extra_mods, extra_hc_opts) +async def multi_compile_and_run( name, way, io_manager, top_mod, extra_mods, extra_hc_opts ): + return await compile_and_run__( name, way, io_manager, top_mod, extra_mods, extra_hc_opts) -async def warn_and_run( name, way, extra_hc_opts ): - return await compile_and_run__( name, way, None, [], extra_hc_opts, compile_stderr = True) +async def warn_and_run( name, way, io_manager, extra_hc_opts ): + return await compile_and_run__( name, way, io_manager, None, [], extra_hc_opts, compile_stderr = True) async def static_stats( name, way ): opts = getTestOpts() @@ -2390,7 +2456,7 @@ async def simple_build(name: Union[TestName, str], # from /dev/null. Route output to testname.run.stdout and # testname.run.stderr. Returns the exit code of the run. -async def simple_run(name: TestName, way: WayName, prog: str, extra_run_opts: str) -> Any: +async def simple_run(name: TestName, way: WayName, io_manager: None | str, prog: str, extra_run_opts: str) -> Any: opts = getTestOpts() # figure out what to use for stdin @@ -2409,6 +2475,9 @@ async def simple_run(name: TestName, way: WayName, prog: str, extra_run_opts: st my_rts_flags = rts_flags(way) + if io_manager: + my_rts_flags += '+RTS --io-manager={0} -RTS'.format(io_manager) + # Collect runtime stats if necessary: # isStatsTest and not isCompilerStatsTest(): # assume we are running a ghc compiled program. Collect stats. ===================================== testsuite/tests/rts/all.T ===================================== @@ -661,8 +661,8 @@ test('T23142', [unless(debug_rts(), skip), req_interp], makefile_test, ['T23142' test('T23400', [], compile_and_run, ['-with-rtsopts -A8k']) -test('IOManager', [js_skip, when(arch('wasm32'), skip), when(opsys('mingw32'), skip), - pre_cmd('$MAKE -s --no-print-directory IOManager.hs')], +test('IOManager', [js_skip, when(arch('wasm32'), skip), + pre_cmd('$MAKE -s --no-print-directory IOManager.hs'), all_io_managers_except('winio')], compile_and_run, ['']) test('T24142', [req_target_smp], compile_and_run, ['-threaded -with-rtsopts "-N2"']) View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/b876112e0b2239b3387c04c61ad4359… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/b876112e0b2239b3387c04c61ad4359… You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications: https://gitlab.haskell.org/-/profile/notifications | Help: https://gitlab.haskell.org/help

1 0

[Git][ghc/ghc] Pushed new branch wip/davide/io_manager_tests
by David Eichmann (＠DavidEichmann) 18 Sep '26

18 Sep '26

David Eichmann pushed new branch wip/davide/io_manager_tests at Glasgow Haskell Compiler / GHC -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/tree/wip/davide/io_manager_tests You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications: https://gitlab.haskell.org/-/profile/notifications | Help: https://gitlab.haskell.org/help

1 0

[Git][ghc/ghc][wip/romes/hsmodulename] fixes
by Rodrigo Mesquita (＠alt-romes) 18 Sep '26

18 Sep '26

Rodrigo Mesquita pushed to branch wip/romes/hsmodulename at Glasgow Haskell Compiler / GHC Commits: f2ed9eea by Rodrigo Mesquita at 2026-09-18T14:29:28+01:00 fixes - - - - - 5 changed files: - ghc/GHCi/UI.hs - ghc/GHCi/UI/Info.hs - linters/lint-codes/LintCodes/Static.hs - testsuite/tests/ghc-api/downsweep/IncrementalDownsweep.hs - testsuite/tests/profiling/should_run/caller-cc/CallerCcParser.hs Changes: ===================================== ghc/GHCi/UI.hs ===================================== @@ -1229,8 +1229,8 @@ getInfoForPrompt = do rev_imports = reverse imports -- rightmost are the most recent myIdeclName :: ImportDecl GhcPs -> ModuleName - myIdeclName d | Just m <- ideclAs d = unLoc m - | otherwise = unLoc (ideclName d) + myIdeclName d | Just m <- ideclAs d = hsModuleName (unLoc m) + | otherwise = hsModuleName (unLoc (ideclName d)) modules_names = ['*':(moduleNameString (moduleName m)) | IIModule m <- rev_imports] ++ @@ -2592,7 +2592,7 @@ keepPackageImports = filterM is_pkg_import Left _ -> return False Right m -> return $ not (HUG.memberHugUnit (moduleUnit m) hug) where - mod_name = unLoc (ideclName d) + mod_name = hsModuleName (unLoc (ideclName d)) {- Note [GHCi and local Preludes] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ @@ -2976,8 +2976,9 @@ guessCurrentModule cmd = do [] -> throwGhcException $ CmdLineError (':' : cmd ++ ": no current module") IIModule m : _ -> pure m IIDecl d : _ -> do - pkgqual <- GHC.renameRawPkgQualM (unLoc $ ideclName d) (ideclPkgQual d) - GHC.findQualifiedModule pkgqual (unLoc (ideclName d)) + let mod_name = hsModuleName (unLoc (ideclName d)) + pkgqual <- GHC.renameRawPkgQualM mod_name (ideclPkgQual d) + GHC.findQualifiedModule pkgqual mod_name -- without bang, show items in context of their parents and omit children -- with bang, show class methods and data constructors separately, and @@ -3177,7 +3178,7 @@ checkAdd ii = do | otherwise -> checkInterpretedModule mod >> return () IIDecl d -> do - let modname = unLoc (ideclName d) + let modname = hsModuleName (unLoc (ideclName d)) pkgqual <- GHC.renameRawPkgQualM modname (ideclPkgQual d) m <- lookupQualifiedModuleName pkgqual modname when safe $ do @@ -3257,7 +3258,7 @@ isIIModule _ = False iiModuleName :: InteractiveImport -> ModuleName iiModuleName (IIModule m) = moduleName m -iiModuleName (IIDecl d) = unLoc (ideclName d) +iiModuleName (IIDecl d) = hsModuleName (unLoc (ideclName d)) preludeModuleName :: ModuleName preludeModuleName = GHC.mkModuleName "Prelude" ===================================== ghc/GHCi/UI/Info.hs ===================================== @@ -127,7 +127,7 @@ findLoc infos span0 string = do case getSrcSpan name' of UnhelpfulSpan{} -> throwE $ GhciNoLocationInfoForModule - (maybe (ModuleName "<unknown>") moduleName (nameModule_maybe name')) + (maybe (mkModuleName "<unknown>") moduleName (nameModule_maybe name')) span' -> return (info,name',span') -- | Find any uses of the given identifier in the codebase. ===================================== linters/lint-codes/LintCodes/Static.hs ===================================== @@ -70,7 +70,7 @@ import GHC.Unit.Finder ( FindResult(..), ModuleLookupScope(..), findImportedModule ) import GHC.Utils.Outputable ( text ) -import Language.Haskell.Syntax.Module.Name +import GHC.Unit.Module.Name ( mkModuleName ) -------------------------------------------------------------------------------- ===================================== testsuite/tests/ghc-api/downsweep/IncrementalDownsweep.hs ===================================== @@ -10,7 +10,7 @@ import System.Environment (getArgs) import System.Exit (exitFailure) import System.IO (stderr) import System.Directory (removeFile) -import Language.Haskell.Syntax.Module.Name (moduleNameString) +import GHC.Unit.Module.Name (moduleNameString) import GHC.Utils.Ppr (Mode (PageMode)) import GHC.Utils.Outputable (vcat, defaultSDocContext, printSDocLn, ppr) import GHC.Utils.Logger (getLogger) ===================================== testsuite/tests/profiling/should_run/caller-cc/CallerCcParser.hs ===================================== @@ -3,7 +3,7 @@ module Main where import GHC.Core.Opt.CallerCC -import Language.Haskell.Syntax.Module.Name +import GHC.Unit.Module.Name deriving instance Eq CallerCcFilter deriving instance Show CallerCcFilter View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/f2ed9eea98286e2c7b3ddd65a247d62… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/f2ed9eea98286e2c7b3ddd65a247d62… You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications: https://gitlab.haskell.org/-/profile/notifications | Help: https://gitlab.haskell.org/help

1 0

[Git][ghc/ghc][wip/andrea/gbc-backport] 2 commits: Backport of bytecode objects and bytecode libraries
by Andrea Vezzosi (＠trac-Saizan) 18 Sep '26

18 Sep '26

Andrea Vezzosi pushed to branch wip/andrea/gbc-backport at Glasgow Haskell Compiler / GHC Commits: 91ccba89 by Andrea Vezzosi at 2026-09-18T15:18:14+02:00 Backport of bytecode objects and bytecode libraries Cherry-picked these commits and their dependencies: - 8f9ae3397d Load bytecode libraries to satisfy package dependencies - e36a5fcbea Add support for building bytecode libraries - 6bd8155c99 Add support for generating bytecode objects Full list of cherry-picked commits: rts/Interpreter: Factor out ctoi tuple info tables into data (cherry picked from commit d2b89603425b6d08df199deb7b84cfdbd711869a) compiler: only use `Name` instead of `Id` in `SptEntry` (cherry picked from commit 39b2e3823da3ab168aa2b7365f0f27e01b1ecd0e) Generalise thNameToGhcName by adding HasHscEnv (cherry picked from commit eb2ab1e2cadde93c330330ca7fdc64b31cd61473) Refactor ForAllCo (cherry picked from commit 94b62aa7e7b40b53442161a0c4f380955fda2f14) ghci: add :shell command (cherry picked from commit 06d2562362768051e4901878248cbad103e66e92) testsuite: remove legacy :shell trick (cherry picked from commit 186054f7e7a190ee175a6e93c6cfb63b8a67baca) docs: document :shell in ghci (cherry picked from commit 0a3a4aa30894820731e646e2788e9819b10a7d07) compiler/ghci: replace the LoadDLL message with LoadDLLs (cherry picked from commit a4d664c78642438f0f178ffa243e2ffdbdf20397) driver: separate downsweep/upsweep phase in loadPackages' (cherry picked from commit c7fc4baeddcfad500126b2e91ce94d2b9391560d) driver: emit single LoadDLLs message to load multiple DLLs (cherry picked from commit ab180104b61a930e8a1e906f013c151669ce6fff) driver: Load bytecode static pointer entries during linking (cherry picked from commit e9445c013fbccf9318739ca3d095a3e0a2e1be8a) loader: Unify loadDecls and loadModuleLinkables functions (cherry picked from commit da9633a9009a08132b974b0407c4057cae3577f7) testsuite: Use ghci_ways to set ways in PackedDataCon/UnboxedTuples/UnliftedDataTypeInterp tests (cherry picked from commit 1275d3607299734228adbbc47bfb69bf8800279f) Rename interpreterBackend to bytecodeBackend (cherry picked from commit c06b534bbd6dbb570b760f2e82b3e375d3956bcf) Improvements to 'mayLookIdentical' (cherry picked from commit 2b8baada761b13199b99268f243bebd009e6e1b5) Store SDoc context in SourceError (cherry picked from commit 129ce32d3a4f2601f5c2d1bbaeeb2fbaf8dc9ef9) Add support for generating bytecode objects (cherry picked from commit 6bd8155c991cfce7cca594bc63ba8f6ca6751667) rts: Eliminate uses of implicit constant arrays (cherry picked from commit 0c00c9c3b4e9b8515d4839f2c1d7d771781dc6f4) rts: use computed goto for instruction dispatch in the bytecode interpreter (cherry picked from commit 39567e85fa514c0c4dfeaf8faa586a47dd3e11ca) Remove the `CoreBindings` constructor from `LinkablePart` (cherry picked from commit b253013ebeea5273a1cc7bb0082ed952456af906) driver: Properly handle errors during LinkNode steps (cherry picked from commit 6c91582f915f80daff774db7738094bda6ab3b44) Build external interpreter program on demand (#24731) (cherry picked from commit 55eab80d337e47decacbe979c29a1b7b47d0a872) Use 'OsPath' in getModificationTimeIfExists (cherry picked from commit ef0dc33b2034fd91e11950751264e8b2e9f03fc4) Use OsPath in PkgDbRef and UnitDatabase, not FilePath (cherry picked from commit fa3bd0a67eea13701d1b50053636f9645e999308) Add support for building bytecode libraries (cherry picked from commit e36a5fcbeaa33abb17707173c9d1e81730f85008) Load bytecode libraries to satisfy package dependencies (cherry picked from commit 8f9ae3397dbcbb4b0bd7a574ffc6b1fbaa137b6c) - - - - - b3fda9ba by Andrea Vezzosi at 2026-09-18T15:18:36+02:00 Backport of bytecode objects relevant bugfixes. Cherry-pick of these commits and what they depend on - 28f07d702a Make HPC work with bytecode interpreter - d95a19366f Add constants for bytecode in-memory buffer size - 9b64ad3a45 determinism: Use a deterministic renaming when writing bytecode files All cherry-picked commits, oldest first: driver: Hide source paths at verbosity level 1 by default (cherry picked from commit aa9c5e2ca0d42f7361fc465d79f5beb056987a41) determinism: Use a deterministic renaming when writing bytecode files Fixes #26499 (cherry picked from commit 9b64ad3a458bf4e4165f125059e4bc3d518c5834) compiler: implement string interning logic for BCONPtrFS (cherry picked from commit d054b4676298ea2189cd48fcf175676b97f559e7) compiler: use `Binary` instance of `BCOByteArray` for bytecode objects (cherry picked from commit fdf828aef8c78ae23ad058ed4696910b6beba232) Support arbitrary size unboxed tuples in bytecode (cherry picked from commit a85bd503a480cfa31f5afa09eb38f56c85c237de) Add specialized frames for small tuples (cherry picked from commit e2209031734770a51f04883e5b538b562449cba1) Extract Binary instances to `GHC.ByteCode.Binary` (cherry picked from commit acffb1b1da1a59dbded9ec2dcb65e495aee31f40) Add `seqNonEmpty` for evaluating `NonEmpty a` (cherry picked from commit e2ea8e25c5128afa8191669c751942348ab3043b) Record `LinkableUsage` instead of `Linkable` in `LoaderState` (cherry picked from commit 048b00b7c231dec199a4441caac279f3bbcd75f4) bytecode: Add magic header/version to bytecode files (cherry picked from commit 5cbc2c823fb0710c37f6e9144382dd59e0353782) Add constants for bytecode in-memory buffer size (cherry picked from commit d95a19366f64e6d866c8df0b1ab917884cc015dc) testsuite: filter stderr for static001 on darwin (cherry picked from commit b822c30aa6c0bf008c06c5bd4ee86313c40f652d) ghci: use ShortByteString for LookupSymbol/LookupSymbolInDLL/LookupClosure messages (cherry picked from commit 8dd6f453348e467686bd222551c89ecc466d36f0) ghci: use ShortByteString for MkCostCentres message (cherry picked from commit 371ef200bcb2664c4511daca75f72a52c1473950) Expose startupHpc as an rts symbol (cherry picked from commit f3485446d8c90aa39ee633606b488253ae23a255) Make HPC work with bytecode interpreter (cherry picked from commit 28f07d702a1b47230122df22e84b60fda49897c5) - - - - - 388 changed files: - + changelog.d/bytecode-interpreter-hpc-support - compiler/GHC.hs - compiler/GHC/Builtin/PrimOps.hs - compiler/GHC/ByteCode/Asm.hs - + compiler/GHC/ByteCode/Binary.hs - compiler/GHC/ByteCode/Breakpoints.hs - compiler/GHC/ByteCode/Instr.hs - compiler/GHC/ByteCode/Linker.hs - + compiler/GHC/ByteCode/Recomp/Binary.hs - + compiler/GHC/ByteCode/Serialize.hs - compiler/GHC/ByteCode/Types.hs - compiler/GHC/Core/Coercion.hs - compiler/GHC/Core/Coercion.hs-boot - compiler/GHC/Core/Coercion/Opt.hs - compiler/GHC/Core/Lint.hs - compiler/GHC/Core/Multiplicity.hs - compiler/GHC/Core/Opt/Arity.hs - compiler/GHC/Core/Opt/Monad.hs - compiler/GHC/Core/Reduction.hs - compiler/GHC/Core/TyCo/Compare.hs - compiler/GHC/Core/TyCo/FVs.hs - compiler/GHC/Core/TyCo/Ppr.hs - compiler/GHC/Core/TyCo/Rep.hs - compiler/GHC/Core/TyCo/Subst.hs - compiler/GHC/Core/TyCo/Tidy.hs - compiler/GHC/Core/Type.hs - compiler/GHC/Core/Unify.hs - compiler/GHC/CoreToIface.hs - compiler/GHC/Data/FlatBag.hs - compiler/GHC/Data/OsPath.hs - compiler/GHC/Data/SmallArray.hs - compiler/GHC/Driver/Backend.hs - compiler/GHC/Driver/Backend/Internal.hs - compiler/GHC/Driver/Backpack.hs - + compiler/GHC/Driver/ByteCode.hs - compiler/GHC/Driver/CodeOutput.hs - compiler/GHC/Driver/Config/Finder.hs - + compiler/GHC/Driver/Config/Interpreter.hs - compiler/GHC/Driver/Config/Linker.hs - compiler/GHC/Driver/Downsweep.hs - compiler/GHC/Driver/DynFlags.hs - compiler/GHC/Driver/Env.hs - compiler/GHC/Driver/Env/Types.hs - compiler/GHC/Driver/Errors.hs - compiler/GHC/Driver/Errors/Ppr.hs - compiler/GHC/Driver/Errors/Types.hs - compiler/GHC/Driver/Flags.hs - compiler/GHC/Driver/Hooks.hs - compiler/GHC/Driver/Main.hs - compiler/GHC/Driver/Make.hs - compiler/GHC/Driver/MakeFile.hs - compiler/GHC/Driver/Messager.hs - compiler/GHC/Driver/Monad.hs - compiler/GHC/Driver/Phases.hs - compiler/GHC/Driver/Pipeline.hs - compiler/GHC/Driver/Pipeline/Execute.hs - compiler/GHC/Driver/Plugins.hs - compiler/GHC/Driver/Session.hs - compiler/GHC/Hs/Decls.hs - compiler/GHC/Hs/Type.hs - compiler/GHC/HsToCore.hs - compiler/GHC/HsToCore/Breakpoints.hs - compiler/GHC/HsToCore/Coverage.hs - compiler/GHC/HsToCore/Ticks.hs - compiler/GHC/HsToCore/Usage.hs - compiler/GHC/Iface/Decl.hs - compiler/GHC/Iface/Ext/Ast.hs - compiler/GHC/Iface/Load.hs - compiler/GHC/Iface/Make.hs - compiler/GHC/Iface/Recomp.hs - compiler/GHC/Iface/Recomp/Types.hs - compiler/GHC/Iface/Rename.hs - compiler/GHC/Iface/Syntax.hs - compiler/GHC/Iface/Tidy.hs - compiler/GHC/Iface/Tidy/StaticPtrTable.hs - compiler/GHC/Iface/Type.hs - compiler/GHC/IfaceToCore.hs - + compiler/GHC/Linker/ByteCode.hs - compiler/GHC/Linker/Config.hs - compiler/GHC/Linker/Deps.hs - compiler/GHC/Linker/Dynamic.hs - + compiler/GHC/Linker/Executable.hs - − compiler/GHC/Linker/ExtraObj.hs - compiler/GHC/Linker/Loader.hs - compiler/GHC/Linker/MacOS.hs - compiler/GHC/Linker/Static.hs - compiler/GHC/Linker/Types.hs - compiler/GHC/Linker/Windows.hs - compiler/GHC/Parser/Header.hs - compiler/GHC/Plugins.hs - compiler/GHC/Runtime/Debugger.hs - compiler/GHC/Runtime/Eval.hs - compiler/GHC/Runtime/Interpreter.hs - + compiler/GHC/Runtime/Interpreter/C.hs - + compiler/GHC/Runtime/Interpreter/Init.hs - compiler/GHC/Runtime/Interpreter/Types.hs - compiler/GHC/Runtime/Loader.hs - compiler/GHC/Settings.hs - compiler/GHC/StgToByteCode.hs - compiler/GHC/StgToJS/StaticPtr.hs - compiler/GHC/SysTools/Tasks.hs - compiler/GHC/Tc/Errors/Ppr.hs - compiler/GHC/Tc/Errors/Types.hs - compiler/GHC/Tc/Gen/HsType.hs - compiler/GHC/Tc/Gen/Splice.hs - compiler/GHC/Tc/Module.hs - compiler/GHC/Tc/Solver/Equality.hs - compiler/GHC/Tc/TyCl.hs - compiler/GHC/Tc/TyCl/Utils.hs - compiler/GHC/Tc/Types.hs - compiler/GHC/Tc/Types/CtLoc.hs - compiler/GHC/Tc/Types/Origin.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/Utils/Unify.hs-boot - compiler/GHC/Types/Error/Codes.hs - compiler/GHC/Types/HpcInfo.hs - compiler/GHC/Types/Id/Make.hs - compiler/GHC/Types/SourceError.hs - compiler/GHC/Types/SptEntry.hs - compiler/GHC/Types/Tickish.hs - compiler/GHC/Types/TyThing/Ppr.hs - compiler/GHC/Unit/Finder.hs - compiler/GHC/Unit/Finder/Types.hs - compiler/GHC/Unit/Home/ModInfo.hs - compiler/GHC/Unit/Home/PackageTable.hs - compiler/GHC/Unit/Info.hs - compiler/GHC/Unit/Module/Deps.hs - compiler/GHC/Unit/Module/Graph.hs - compiler/GHC/Unit/Module/Location.hs - compiler/GHC/Unit/Module/ModGuts.hs - compiler/GHC/Unit/Module/ModSummary.hs - compiler/GHC/Unit/Module/Status.hs - compiler/GHC/Unit/Module/WholeCoreBindings.hs - compiler/GHC/Unit/State.hs - compiler/GHC/Utils/Binary.hs - compiler/GHC/Utils/Error.hs - compiler/GHC/Utils/Misc.hs - compiler/GHC/Utils/Outputable.hs - compiler/ghc.cabal.in - docs/users_guide/extending_ghc.rst - docs/users_guide/ghci.rst - docs/users_guide/phases.rst - docs/users_guide/separate_compilation.rst - ghc/GHCi/Leak.hs - ghc/GHCi/UI.hs - ghc/Main.hs - hadrian/src/Settings/Builders/RunTest.hs - libraries/ghc-boot/GHC/Unit/Database.hs - + libraries/ghci/GHCi/Coverage.hs - libraries/ghci/GHCi/Message.hs - libraries/ghci/GHCi/ObjLink.hs - libraries/ghci/GHCi/Run.hs - libraries/ghci/ghci.cabal.in - rts/Apply.cmm - rts/Continuation.c - rts/ContinuationOps.cmm - rts/Disassembler.c - rts/Hpc.c - rts/Interpreter.c - rts/Printer.c - rts/RaiseAsync.c - rts/RtsSymbols.c - rts/Schedule.c - rts/StgMiscClosures.cmm - rts/Threads.c - rts/Threads.h - rts/include/rts/Bytecodes.h - rts/include/rts/storage/TSO.h - rts/include/stg/MiscClosures.h - rts/posix/OSMem.c - testsuite/config/ghc - testsuite/driver/testglobals.py - testsuite/driver/testlib.py - testsuite/mk/boilerplate.mk - testsuite/mk/test.mk - testsuite/tests/backpack/cabal/bkpcabal08/bkpcabal08.stdout - testsuite/tests/bytecode/T24634/T24634a.stdout - testsuite/tests/bytecode/T24634/T24634b.stdout - + testsuite/tests/bytecode/TLinkable/BCOTemplate.hs - + testsuite/tests/bytecode/TLinkable/LinkableUsage01.stderr - + testsuite/tests/bytecode/TLinkable/LinkableUsage02.stderr - + testsuite/tests/bytecode/TLinkable/Makefile - + testsuite/tests/bytecode/TLinkable/all.T - + testsuite/tests/bytecode/TLinkable/genLinkables.sh - + testsuite/tests/bytecode/TLinkable/linkable-space.hs - + testsuite/tests/bytecode/TLinkable/linkable-space.stdout - + testsuite/tests/bytecode/tuplestress/ByteCode.hs - + testsuite/tests/bytecode/tuplestress/Common.hs-incl - + testsuite/tests/bytecode/tuplestress/Obj.hs - + testsuite/tests/bytecode/tuplestress/TupleStress.hs - + testsuite/tests/bytecode/tuplestress/TupleStress.stdout - + testsuite/tests/bytecode/tuplestress/all.T - + testsuite/tests/cabal/Bytecode.hs - + testsuite/tests/cabal/BytecodeForeign.c - + testsuite/tests/cabal/BytecodeForeign.hs - testsuite/tests/cabal/Makefile - testsuite/tests/cabal/all.T - + testsuite/tests/cabal/bytecode.pkg - + testsuite/tests/cabal/bytecode.script - + testsuite/tests/cabal/bytecode_foreign.pkg - + testsuite/tests/cabal/bytecode_foreign.script - testsuite/tests/cabal/ghcpkg03.stderr - testsuite/tests/cabal/ghcpkg03.stderr-mingw32 - testsuite/tests/cabal/ghcpkg05.stderr - testsuite/tests/cabal/ghcpkg05.stderr-mingw32 - + testsuite/tests/cabal/pkg_bytecode.stderr - + testsuite/tests/cabal/pkg_bytecode.stdout - + testsuite/tests/cabal/pkg_bytecode_foreign.stderr - + testsuite/tests/cabal/pkg_bytecode_foreign.stdout - + testsuite/tests/cabal/pkg_bytecode_with_gbc.stderr - + testsuite/tests/cabal/pkg_bytecode_with_gbc.stdout - + testsuite/tests/cabal/pkg_bytecode_with_o.stderr - + testsuite/tests/cabal/pkg_bytecode_with_o.stdout - testsuite/tests/count-deps/CountDepsAst.stdout - testsuite/tests/count-deps/CountDepsParser.stdout - testsuite/tests/cpranal/should_compile/T18174.stderr - testsuite/tests/driver/T11429c.stderr - testsuite/tests/driver/T20030/test1/all.T - testsuite/tests/driver/T20030/test2/all.T - testsuite/tests/driver/T20030/test3/all.T - testsuite/tests/driver/T20030/test4/all.T - testsuite/tests/driver/T20030/test5/all.T - testsuite/tests/driver/T20030/test6/all.T - testsuite/tests/driver/T21682.stderr - + testsuite/tests/driver/T24731.hs - testsuite/tests/driver/T5313.hs - testsuite/tests/driver/T8526/T8526.script - testsuite/tests/driver/all.T - + testsuite/tests/driver/bytecode-object/A.hs - + testsuite/tests/driver/bytecode-object/BytecodeForeign.c - + testsuite/tests/driver/bytecode-object/BytecodeForeign.hs - + testsuite/tests/driver/bytecode-object/BytecodeMain.hs - + testsuite/tests/driver/bytecode-object/BytecodeTest.hs - + testsuite/tests/driver/bytecode-object/Makefile - + testsuite/tests/driver/bytecode-object/all.T - + testsuite/tests/driver/bytecode-object/bytecode_object12.stderr - + testsuite/tests/driver/bytecode-object/bytecode_object13.stdout - + testsuite/tests/driver/bytecode-object/bytecode_object14.stdout - + testsuite/tests/driver/bytecode-object/bytecode_object15.stdout - + testsuite/tests/driver/bytecode-object/bytecode_object16.stdout - + testsuite/tests/driver/bytecode-object/bytecode_object17.stdout - + testsuite/tests/driver/bytecode-object/bytecode_object18.stdout - + testsuite/tests/driver/bytecode-object/bytecode_object19.script - + testsuite/tests/driver/bytecode-object/bytecode_object19.stdout - + testsuite/tests/driver/bytecode-object/bytecode_object20.stdout - + testsuite/tests/driver/bytecode-object/bytecode_object21.stderr - + testsuite/tests/driver/bytecode-object/bytecode_object21.stdout - + testsuite/tests/driver/bytecode-object/bytecode_object23.stdout - + testsuite/tests/driver/bytecode-object/bytecode_object24.stdout - + testsuite/tests/driver/bytecode-object/bytecode_object25.stdout - + testsuite/tests/driver/bytecode-object/bytecode_object4.stdout - + testsuite/tests/driver/bytecode-object/bytecode_object5.stdout - + testsuite/tests/driver/bytecode-object/bytecode_object6.stdout - testsuite/tests/driver/dynamicToo/dynamicToo001/Makefile - testsuite/tests/driver/fat-iface/T22405/T22405.stdout - testsuite/tests/driver/fat-iface/T22405/T22405b.stdout - testsuite/tests/driver/fat-iface/fat011.stderr - testsuite/tests/driver/fat-iface/fat014.script - testsuite/tests/driver/implicit-dyn-too/Makefile - testsuite/tests/driver/linkwhole/Main.hs - testsuite/tests/driver/multipleHomeUnits/all.T - testsuite/tests/driver/multipleHomeUnits/multipleHomeUnits_recomp_th.stdout - + testsuite/tests/driver/recomp022/A1.hs - + testsuite/tests/driver/recomp022/A2.hs - + testsuite/tests/driver/recomp022/A3.hs - + testsuite/tests/driver/recomp022/B.hs - + testsuite/tests/driver/recomp022/C.hs - + testsuite/tests/driver/recomp022/Makefile - + testsuite/tests/driver/recomp022/all.T - + testsuite/tests/driver/recomp022/recomp022a.stdout - + testsuite/tests/driver/recomp022/recomp022b.stdout - testsuite/tests/ghc-api/T10052/T10052.hs - testsuite/tests/ghc-api/T10942.hs - testsuite/tests/ghc-api/T8639_api.hs - testsuite/tests/ghc-api/annotations-literals/literals.hs - testsuite/tests/ghc-api/apirecomp001/myghc.hs - testsuite/tests/ghc-e/should_fail/T9930fail.stderr - testsuite/tests/ghc-e/should_fail/all.T - testsuite/tests/ghci.debugger/scripts/break022/all.T - testsuite/tests/ghci.debugger/scripts/break022/break022.script - testsuite/tests/ghci.debugger/scripts/break023/all.T - testsuite/tests/ghci.debugger/scripts/break023/break023.script - − testsuite/tests/ghci/linking/T11531.stderr - testsuite/tests/ghci/linking/dyn/T3372.hs - testsuite/tests/ghci/prog001/prog001.T - testsuite/tests/ghci/prog001/prog001.script - testsuite/tests/ghci/prog002/prog002.T - testsuite/tests/ghci/prog002/prog002.script - testsuite/tests/ghci/prog003/prog003.T - testsuite/tests/ghci/prog003/prog003.script - testsuite/tests/ghci/prog005/prog005.T - testsuite/tests/ghci/prog005/prog005.script - testsuite/tests/ghci/prog010/all.T - testsuite/tests/ghci/prog010/ghci.prog010.script - testsuite/tests/ghci/prog012/all.T - testsuite/tests/ghci/prog012/prog012.script - testsuite/tests/ghci/prog018/prog018.script - testsuite/tests/ghci/recompTHghci/all.T - testsuite/tests/ghci/recompTHghci/recompTHghci.script - testsuite/tests/ghci/scripts/T13869.script - testsuite/tests/ghci/scripts/T13997.script - testsuite/tests/ghci/scripts/T17669.script - testsuite/tests/ghci/scripts/T18330.script - testsuite/tests/ghci/scripts/T18330.stdout - testsuite/tests/ghci/scripts/T1914.script - testsuite/tests/ghci/scripts/T20217.script - testsuite/tests/ghci/scripts/T20587.script - testsuite/tests/ghci/scripts/T6105.script - testsuite/tests/ghci/scripts/T6106.script - testsuite/tests/ghci/scripts/T8042.script - testsuite/tests/ghci/scripts/T8042recomp.script - testsuite/tests/ghci/scripts/T8353.script - testsuite/tests/ghci/scripts/all.T - testsuite/tests/ghci/scripts/ghci038.script - testsuite/tests/ghci/scripts/ghci058.script - testsuite/tests/ghci/scripts/ghci063.script - − testsuite/tests/ghci/shell.hs - testsuite/tests/ghci/should_run/Makefile - testsuite/tests/ghci/should_run/PackedDataCon/packeddatacon.T - testsuite/tests/ghci/should_run/T18064.script - testsuite/tests/ghci/should_run/UnboxedTuples/unboxedtuples.T - testsuite/tests/ghci/should_run/UnliftedDataTypeInterp/unlifteddatatypeinterp.T - testsuite/tests/hpc/Makefile - testsuite/tests/hpc/T17073.stdout → testsuite/tests/hpc/T17073a.stdout - + testsuite/tests/hpc/T17073b.stdout - testsuite/tests/hpc/T20568.stdout → testsuite/tests/hpc/T20568a.stdout - + testsuite/tests/hpc/T20568b.stdout - testsuite/tests/hpc/all.T - testsuite/tests/hpc/fork/Makefile - testsuite/tests/hpc/function/Makefile - testsuite/tests/hpc/function/test.T - + testsuite/tests/hpc/function/tough1.stderr - + testsuite/tests/hpc/function/tough1.stdout - testsuite/tests/hpc/function2/test.T - + testsuite/tests/hpc/function2/tough3.script - + testsuite/tests/hpc/ghc_ghci/BytecodeMain.hs - testsuite/tests/hpc/ghc_ghci/Makefile - + testsuite/tests/hpc/ghc_ghci/hpc_ghc_ghci_bytecode.stdout - + testsuite/tests/hpc/ghc_ghci/hpc_ghci01.stdout - + testsuite/tests/hpc/ghc_ghci/hpc_ghci02.stdout - testsuite/tests/hpc/ghc_ghci/test.T - testsuite/tests/hpc/simple/Makefile - + testsuite/tests/hpc/simple/hpc002.hs - + testsuite/tests/hpc/simple/hpc002.stdout - + testsuite/tests/hpc/simple/hpc003.hs - + testsuite/tests/hpc/simple/hpc003.script - + testsuite/tests/hpc/simple/hpc003.stdout - testsuite/tests/hpc/simple/test.T - testsuite/tests/indexed-types/should_fail/T14887.stderr - testsuite/tests/linear/should_fail/T19361.stderr - testsuite/tests/perf/compiler/Makefile - testsuite/tests/perf/compiler/MultiLayerModulesDefsGhci.script - + testsuite/tests/perf/compiler/MultiLayerModulesDefsGhciWithBytecodeFiles.script - testsuite/tests/perf/compiler/all.T - testsuite/tests/roles/should_compile/Roles13.stderr - testsuite/tests/rts/KeepCafsMain.hs - testsuite/tests/rts/T13676.script - testsuite/tests/rts/linker/T2615.hs - testsuite/tests/simplCore/should_compile/OpaqueNoCastWW.stderr - testsuite/tests/simplCore/should_compile/T17673.stderr - testsuite/tests/simplCore/should_compile/T18078.stderr - testsuite/tests/simplCore/should_compile/T18995.stderr - testsuite/tests/simplCore/should_compile/T19890.stderr - testsuite/tests/simplCore/should_compile/T21948.stderr - testsuite/tests/simplCore/should_compile/T21960.stderr - testsuite/tests/simplCore/should_compile/T24808.stderr - − testsuite/tests/simplCore/should_compile/T25713.stderr - testsuite/tests/simplCore/should_compile/T4201.stdout - testsuite/tests/simplCore/should_compile/T8331.stderr - testsuite/tests/simplStg/should_compile/T22840.stderr - testsuite/tests/typecheck/no_skolem_info/T20232.stderr - testsuite/tests/typecheck/should_fail/T11672.stderr - testsuite/tests/typecheck/should_fail/T12373.stderr - testsuite/tests/typecheck/should_fail/T15807.stderr - testsuite/tests/typecheck/should_fail/T16074.stderr - testsuite/tests/typecheck/should_fail/T18357a.stderr - testsuite/tests/typecheck/should_fail/T19627.stderr - testsuite/tests/typecheck/should_fail/T21530a.stderr - testsuite/tests/typecheck/should_fail/VisFlag1.stderr - utils/check-exact/Parsers.hs - utils/check-exact/Preprocess.hs - utils/deriveConstants/Main.hs - utils/ghc-pkg/Main.hs - utils/iserv/iserv.cabal.in - utils/jsffi/dyld.mjs The diff was not included because it is too large. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/43251415e6c4f14644d9f483bef0cd… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/43251415e6c4f14644d9f483bef0cd… You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications: https://gitlab.haskell.org/-/profile/notifications | Help: https://gitlab.haskell.org/help

1 0

[Git][ghc/ghc][wip/mangoiv/27817] fixup! ci: make lint-adjacent jobs into platform independent
by Magnus (＠MangoIV) 18 Sep '26

18 Sep '26

Magnus pushed to branch wip/mangoiv/27817 at Glasgow Haskell Compiler / GHC Commits: 612dbb1a by mangoiv at 2026-09-18T13:59:18+02:00 fixup! ci: make lint-adjacent jobs into platform independent - - - - - 1 changed file: - .gitlab-ci.yml Changes: ===================================== .gitlab-ci.yml ===================================== @@ -149,7 +149,7 @@ workflow: - curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | BOOTSTRAP_HASKELL_NONINTERACTIVE=1 BOOTSTRAP_HASKELL_GHC_VERSION="9.10" BOOTSTRAP_HASKELL_INSTALL_NO_STACK=1 sh - source /root/.ghcup/env - ghc --info - - cabal-install version + - cabal --version # linting but we need a boot toolchain .lint-ghc-toolchain: View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/612dbb1ac728edb790ba186befa2c49… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/612dbb1ac728edb790ba186befa2c49… You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications: https://gitlab.haskell.org/-/profile/notifications | Help: https://gitlab.haskell.org/help

1 0

[Git][ghc/ghc][wip/mangoiv/27817] 2 commits: fixup! ci: make lint-adjacent jobs into platform independent
by Magnus (＠MangoIV) 18 Sep '26

18 Sep '26

Magnus pushed to branch wip/mangoiv/27817 at Glasgow Haskell Compiler / GHC Commits: 06c98392 by mangoiv at 2026-09-18T13:49:55+02:00 fixup! ci: make lint-adjacent jobs into platform independent - - - - - 53fe5a06 by mangoiv at 2026-09-18T13:52:03+02:00 fixup! ci: make lint-adjacent jobs into platform independent - - - - - 1 changed file: - .gitlab-ci.yml Changes: ===================================== .gitlab-ci.yml ===================================== @@ -147,6 +147,7 @@ workflow: - apt update - apt install -qy build-essential curl libffi-dev libffi8 libgmp-dev libgmp10 libncurses-dev libncurses6 libtinfo6 pkg-config python3 cmake git happy alex autoconf automake python3 libgmp-dev libnuma-dev libncurses-dev - curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | BOOTSTRAP_HASKELL_NONINTERACTIVE=1 BOOTSTRAP_HASKELL_GHC_VERSION="9.10" BOOTSTRAP_HASKELL_INSTALL_NO_STACK=1 sh + - source /root/.ghcup/env - ghc --info - cabal-install version @@ -162,7 +163,7 @@ workflow: extends: .lint before_script: - apt update - - apt install -qy python3 mypy shellcheck + - apt install -qy python3 mypy shellcheck git - git config --global --add safe.directory "$CI_PROJECT_DIR" .nightly: &nightly @@ -341,7 +342,7 @@ typecheck-testsuite: # Check that commits in an MR were not authored with the identity that CI uses # when it needs to create commits itself. This only needs Git history. lint-author: - extends: .lint-ghc-toolchain + extends: .lint-python variables: GIT_SUBMODULE_STRATEGY: none script: View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/511ec045795da169fea67c388b76cd… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/511ec045795da169fea67c388b76cd… You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications: https://gitlab.haskell.org/-/profile/notifications | Help: https://gitlab.haskell.org/help

1 0

[Git][ghc/ghc][wip/mangoiv/27817] fixup! ci: make lint-adjacent jobs into platform independent
by Magnus (＠MangoIV) 18 Sep '26

18 Sep '26

Magnus pushed to branch wip/mangoiv/27817 at Glasgow Haskell Compiler / GHC Commits: 511ec045 by mangoiv at 2026-09-18T13:46:16+02:00 fixup! ci: make lint-adjacent jobs into platform independent - - - - - 1 changed file: - .gitlab-ci.yml Changes: ===================================== .gitlab-ci.yml ===================================== @@ -316,7 +316,6 @@ typecheck-testsuite: variables: GIT_DEPTH: 1 GIT_SUBMODULE_STRATEGY: none - before_script: script: - mypy testsuite/driver/runtests.py dependencies: [] View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/511ec045795da169fea67c388b76cd6… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/511ec045795da169fea67c388b76cd6… You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications: https://gitlab.haskell.org/-/profile/notifications | Help: https://gitlab.haskell.org/help

1 0

[Git][ghc/ghc][wip/mangoiv/27817] fixup! ci: make lint-adjacent jobs into platform independent
by Magnus (＠MangoIV) 18 Sep '26

18 Sep '26

Magnus pushed to branch wip/mangoiv/27817 at Glasgow Haskell Compiler / GHC Commits: 1525931c by mangoiv at 2026-09-18T13:44:18+02:00 fixup! ci: make lint-adjacent jobs into platform independent - - - - - 1 changed file: - .gitlab-ci.yml Changes: ===================================== .gitlab-ci.yml ===================================== @@ -161,8 +161,8 @@ workflow: .lint-python: extends: .lint before_script: - apt update - apt install -qy python3 mypy shellcheck + - apt update + - apt install -qy python3 mypy shellcheck - git config --global --add safe.directory "$CI_PROJECT_DIR" .nightly: &nightly View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/1525931c5e42c01686bca9a0310ce26… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/1525931c5e42c01686bca9a0310ce26… You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications: https://gitlab.haskell.org/-/profile/notifications | Help: https://gitlab.haskell.org/help

1 0

[Git][ghc/ghc][wip/mangoiv/27817] fixup! ci: make lint-adjacent jobs into platform independent
by Magnus (＠MangoIV) 18 Sep '26

18 Sep '26

Magnus pushed to branch wip/mangoiv/27817 at Glasgow Haskell Compiler / GHC Commits: df70ec40 by mangoiv at 2026-09-18T13:39:38+02:00 fixup! ci: make lint-adjacent jobs into platform independent - - - - - 1 changed file: - .gitlab-ci.yml Changes: ===================================== .gitlab-ci.yml ===================================== @@ -143,9 +143,12 @@ workflow: - *drafts-can-fail-lint - when: always -.install-deps: &install-ghc-toolchain +.install-ghc-toolchain: &install-ghc-toolchain - apt update - - apt install -qy ghc cabal-install build-essential curl libffi-dev libffi8 libgmp-dev libgmp10 libncurses-dev libncurses6 libtinfo6 pkg-config python3 cmake git happy alex autoconf automake python3 libgmp-dev libnuma-dev libncurses-dev + - apt install -qy build-essential curl libffi-dev libffi8 libgmp-dev libgmp10 libncurses-dev libncurses6 libtinfo6 pkg-config python3 cmake git happy alex autoconf automake python3 libgmp-dev libnuma-dev libncurses-dev + - curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | BOOTSTRAP_HASKELL_NONINTERACTIVE=1 BOOTSTRAP_HASKELL_GHC_VERSION="9.10" BOOTSTRAP_HASKELL_INSTALL_NO_STACK=1 sh + - ghc --info + - cabal-install version # linting but we need a boot toolchain .lint-ghc-toolchain: View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/df70ec407ab82e4b1b64ef013c060fe… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/df70ec407ab82e4b1b64ef013c060fe… You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications: https://gitlab.haskell.org/-/profile/notifications | Help: https://gitlab.haskell.org/help

1 0