- ghc-commits - Haskell.org

[Git][ghc/ghc][wip/T26772] 6 commits: PPC NCG: Generate clear right insn at arch width
by Simon Peyton Jones (＠simonpj) 27 Jan '26

27 Jan '26

Simon Peyton Jones pushed to branch wip/T26772 at Glasgow Haskell Compiler / GHC Commits: 56db94f7 by Peter Trommler at 2026-01-26T11:26:18+01:00 PPC NCG: Generate clear right insn at arch width The clear right immediate (clrrxi) is only available in word and doubleword width. Generate clrrxi instructions at architecture width for all MachOp widths. Fixes #24145 - - - - - 5957a8ad by Wolfgang Jeltsch at 2026-01-27T06:11:40-05:00 Add operations for obtaining operating-system handles This contribution implements CLC proposal #369. It adds operations for obtaining POSIX file descriptors and Windows handles that underlie Haskell handles. Those operating system handles can also be obtained without such additional operations, but this is more involved and, more importantly, requires using internals. - - - - - 86a0510c by Greg Steuck at 2026-01-27T06:12:34-05:00 Move flags to precede patterns for grep and read files directly This makes the tests pass with non-GNU (i.e. POSIX-complicant) tools. There's no reason to use cat and pipe where direct file argument works. - - - - - efa4b101 by Simon Peyton Jones at 2026-01-27T16:56:38+00:00 Fix subtle bug in GHC.Core.Utils.mkTick ..Proper commit message still to come... - - - - - a4f9eb90 by Simon Peyton Jones at 2026-01-27T16:56:38+00:00 Modify the debug-trace a little - - - - - 575a61a9 by Simon Peyton Jones at 2026-01-27T16:56:38+00:00 Fix long-standing interaction between ticks and casts The code for Note [Eliminate Identity Cases] was simply wrong when ticks and casts interacted. This patch fixes the interaction. It was shown up when validating #26772, although it's not the exactly the bug that's reported by #26772. Nor is it easy to reproduce, hence no regression test. - - - - - 31 changed files: - compiler/GHC/CmmToAsm/PPC/CodeGen.hs - compiler/GHC/Core/Opt/Simplify/Iteration.hs - compiler/GHC/Core/Opt/Simplify/Utils.hs - compiler/GHC/Core/Utils.hs - compiler/GHC/Tc/Instance/Class.hs - compiler/GHC/Tc/Types/Evidence.hs - libraries/base/base.cabal.in - libraries/base/changelog.md - + libraries/base/src/System/IO/OS.hs - libraries/base/tests/IO/all.T - + libraries/base/tests/IO/osHandles001FileDescriptors.hs - + libraries/base/tests/IO/osHandles001FileDescriptors.stdout - + libraries/base/tests/IO/osHandles001WindowsHandles.hs - + libraries/base/tests/IO/osHandles001WindowsHandles.stdout - + libraries/base/tests/IO/osHandles002FileDescriptors.hs - + libraries/base/tests/IO/osHandles002FileDescriptors.stderr - + libraries/base/tests/IO/osHandles002FileDescriptors.stdin - + libraries/base/tests/IO/osHandles002FileDescriptors.stdout - + libraries/base/tests/IO/osHandles002WindowsHandles.hs - + libraries/base/tests/IO/osHandles002WindowsHandles.stderr - + libraries/base/tests/IO/osHandles002WindowsHandles.stdin - + libraries/base/tests/IO/osHandles002WindowsHandles.stdout - libraries/base/tests/perf/Makefile - libraries/ghc-internal/ghc-internal.cabal.in - + libraries/ghc-internal/src/GHC/Internal/System/IO/OS.hs - testsuite/tests/driver/T16318/Makefile - testsuite/tests/driver/T18125/Makefile - 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 The diff was not included because it is too large. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/89ef3d8b6c7b3854cd449d77021618… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/89ef3d8b6c7b3854cd449d77021618… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/spj-apporv-Oct24] Wibbles
by Simon Peyton Jones (＠simonpj) 27 Jan '26

27 Jan '26

Simon Peyton Jones pushed to branch wip/spj-apporv-Oct24 at Glasgow Haskell Compiler / GHC Commits: 55c4f2b4 by Simon Peyton Jones at 2026-01-27T16:40:20+00:00 Wibbles - - - - - 3 changed files: - compiler/GHC/Tc/Gen/Expr.hs - compiler/GHC/Tc/Gen/Head.hs - compiler/GHC/Tc/Utils/Monad.hs Changes: ===================================== compiler/GHC/Tc/Gen/Expr.hs ===================================== @@ -762,47 +762,73 @@ tcExpr (SectionR {}) ty = pprPanic "tcExpr:SectionR" (ppr ty) ************************************************************************ -} -{- Note [Overview of Typechecking an XExpr] -~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -Certain constructs undergo expansion right before type checking. +{- Note [Typechecking by expansion: overview] +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +For many constructs, rather than typechecking the user-written code +directly, it's much easier to + * Expand (or desugar) the code to something simpler + * Typecheck that simpler expression - tcExpr ue@(RecordUpd{}) rho = do { ee <- expand e; tcExpr ee rho } +Example: record updates. The typechecker looks like this: -See Note [Handling overloaded and rebindable constructs] and -Note [Doing XXExprGhcRn in the Renamer vs Typechecker] -for details about which constructs are expanded. + tcExpr e@(RecordUpd{}) rho = do { ee <- expandExpr e + ; tcExpr ee rho } -The expansion process typically takes a user written thing - L lspan ue -and returns - L lspan (XExpr (ExpandedThingRn { xrn_orig = ue - , xrn_expanded = ee } )) +The `expandExpr` replaces the record update (e { x = rhs }) +with something like + case e of { MkT a b _ d -> MkT a b rhs d } +and we then typecheck the latter. -where `ee` is the expansion of the user written thing `ue` +See also Note [Handling overloaded and rebindable constructs] + and Note [Doing XXExprGhcRn in the Renamer vs Typechecker] -Now, when a `tcMonoLHsExpr :: LHsExpr GhcRn -> ExpRhoType -> TcM (HsExpr GhcTc)` -gets a located expression, It does 2 things: -1. calls `addLExprCtxt` to perform error context management, and; -2. calls tcExpr to typecheck the expression. +The Big Question is how to ensure that error messages mention +only user-written source code, and never talk about the expanded code. +The rest of this Note explains how that is done. -The type checker context has 2 key fields: +* The expansion process typically takes a user written thing + L lspan ue + and returns + L lspan (XExpr (ExpandedThingRn { xrn_orig = ue + , xrn_expanded = ee } )) + where `ee` is the expansion of the user written thing `ue` - TcLclCtxt { tcl_loc :: RealSrcSpan - , tcl_err_ctxt :: [ErrCtxt] +* The type checker context has 2 key fields that describe the context: + TcLclCtxt { tcl_loc :: RealSrcSpan + , tcl_err_ctxt :: [ErrCtxt] , ... } - -When called on an XExpr, `addLExprCtxt` updates the location of `tcl_loc` with -the `lspan` above and adds an ErrCtxt on top of the `tcl_err_ctxt`. If the -`lspan` is generated, then `addLExprCtxt` is a no-op. - -The type checker error stack element `GHC.Tc.Types.ErrCtxt.ErrCtxt` has two fields - - ErrCtxt = EC CodeSrcFlag ErrCtxtMsgM - -`CodeSrcFlag` says whether we are typechecking an expanded thing, and what that expanded thing is -`ErrCtxtMsgM` stores the pre-text error message itself. When called on an `XExpr`, `addLExprCtxt`, -adds the user written thing `ue`, and the error message provided by the caller on the `ErrCtxtStack` -See Note [ErrCtxtStack Manipulation] for more details. + Note `tcl_loc` always points to a real place in the source code, + hence `RealSrcSpan`. + + The `tcl_err_ctxt` is a stack of contexts, each saying something + like "In the expression: x+y" or "In the record update: r { x=2 }" + +* Now, when + tcMonoLHsExpr :: LHsExpr GhcRn -> ExpRhoType -> TcM (HsExpr GhcTc) + gets a located expression, it does 2 things: + * Calls `addLExprCtxt` to perform error context management + * Calls `tcExpr` to typecheck the expression. + +* `addLExprCtxt span expr` + (1) updates the location of `tcl_loc` with the `span` above, + (2) adds an `ErrCtxt` on top of the `tcl_err_ctxt`. + +* However, if the `span` is generated (see `isGeneratedSrcSpan`), then + `addLExprCtxt` is a no-op. Crucially, when we generate code in `expandExpr`, + all the generated AST notes are tagged with a `GeneratedSrcSpan`. This + is how we avoid populating the TcLclCtxt with generated code. + +* The type checker error-stack element `GHC.Tc.Types.ErrCtxt.ErrCtxt` + has two fields + data ErrCtxt = EC ErrCtxt + + * `CodeSrcFlag` says whether we are typechecking an expanded thing, + and what that expanded thing is + * `ErrCtxtMsgM` stores the pre-text error message itself. + + When called on an `XExpr`, `addLExprCtxt`, adds the user written thing + `ue`, and the error message provided by the caller on the `ErrCtxtStack` See + Note [ErrCtxtStack Manipulation] for more details. -} ===================================== compiler/GHC/Tc/Gen/Head.hs ===================================== @@ -19,8 +19,7 @@ module GHC.Tc.Gen.Head , tyConOf, tyConOfET , nonBidirectionalErr - , pprArgInst - , addLExprCtxt, addFunResCtxt ) where + , pprArgInst, addFunResCtxt ) where import {-# SOURCE #-} GHC.Tc.Gen.Expr( tcExpr, tcCheckPolyExprNC, tcPolyLExprSig ) import {-# SOURCE #-} GHC.Tc.Gen.Splice( getUntypedSpliceBody ) @@ -1076,39 +1075,3 @@ Notice that tcSplitNestedSigmaTys looks through function arrows too, regardless of simple/deep subsumption. Here we are concerned only whether there is a mis-match in the number of value arguments. -} - - -{- ********************************************************************* -* * - Misc utility functions -* * -********************************************************************* -} - --- | !Caution!: Users should not call add_expr_ctxt, they ought to use addLExprCtxt -add_expr_ctxt :: HsExpr GhcRn -> TcRn a -> TcRn a -add_expr_ctxt e thing_inside - = case e of - HsHole{} -> thing_inside - -- The HsHole special case addresses situations like - -- f x = _ - -- when we don't want to say "In the expression: _", - -- because it is mentioned in the error message itself - - ExprWithTySig _ (L _ e') _ - | XExpr (ExpandedThingRn o _) <- e' -> addExpansionErrCtxt o (ExprCtxt e) thing_inside - -- There is a special case for expressions with signatures to avoid having too verbose - -- error context. So here we flip the ErrCtxt state to expanded if the expression is expanded. - -- c.f. RecordDotSyntaxFail9 - - XExpr (ExpandedThingRn o _) -> addExpansionErrCtxt o (srcCodeOriginErrCtxMsg o) thing_inside - -- Flip error ctxt into expansion mode - - _ -> addErrCtxt (ExprCtxt e) thing_inside - - -addLExprCtxt :: SrcSpan -> HsExpr GhcRn -> TcRn a -> TcRn a -addLExprCtxt lspan e thing_inside - | not (isGeneratedSrcSpan lspan) - = setSrcSpan lspan $ add_expr_ctxt e thing_inside - | otherwise -- no op in generated code - = thing_inside ===================================== compiler/GHC/Tc/Utils/Monad.hs ===================================== @@ -88,7 +88,7 @@ module GHC.Tc.Utils.Monad( -- * Context management for the type checker getErrCtxt, setErrCtxt, addErrCtxt, addErrCtxtM, addLandmarkErrCtxt, - addExpansionErrCtxt, addExpansionErrCtxtM, + addLExprCtxt, addExpansionErrCtxt, addExpansionErrCtxtM, addLandmarkErrCtxtM, popErrCtxt, getCtLocM, setCtLocM, mkCtLocEnv, -- * Diagnostic message generation (type checker) @@ -1324,6 +1324,35 @@ relation with pattern-match checks - See Note [ErrCtxtStack Manipulation] in `GHC.Tc.Types.LclEnv` for info about `ErrCtxtStack` -} +addLExprCtxt :: SrcSpan -> HsExpr GhcRn -> TcRn a -> TcRn a +addLExprCtxt lspan e thing_inside + | not (isGeneratedSrcSpan lspan) + = setSrcSpan lspan $ add_expr_ctxt e thing_inside + | otherwise -- no op in generated code + = thing_inside + +-- | !Caution!: Users should not call add_expr_ctxt, they ought to use addLExprCtxt +add_expr_ctxt :: HsExpr GhcRn -> TcRn a -> TcRn a +add_expr_ctxt e thing_inside + = case e of + HsHole{} -> thing_inside + -- The HsHole special case addresses situations like + -- f x = _ + -- when we don't want to say "In the expression: _", + -- because it is mentioned in the error message itself + + ExprWithTySig _ (L _ e') _ + | XExpr (ExpandedThingRn o _) <- e' -> addExpansionErrCtxt o (ExprCtxt e) thing_inside + -- There is a special case for expressions with signatures to avoid having too verbose + -- error context. So here we flip the ErrCtxt state to expanded if the expression is expanded. + -- c.f. RecordDotSyntaxFail9 + + XExpr (ExpandedThingRn o _) -> addExpansionErrCtxt o (srcCodeOriginErrCtxMsg o) thing_inside + -- Flip error ctxt into expansion mode + + _ -> addErrCtxt (ExprCtxt e) thing_inside + + getErrCtxt :: TcM [ErrCtxt] getErrCtxt = do { env <- getLclEnv; return (getLclEnvErrCtxt env) } @@ -1335,7 +1364,7 @@ setErrCtxt ctxt = updLclEnv (setLclEnvErrCtxt ctxt) -- do any tidying. -- See Note [Rebindable syntax and XXExprGhcRn] in GHC.Hs.Expr addErrCtxt :: ErrCtxtMsg -> TcM a -> TcM a -{-# INLINE addErrCtxt #-} -- Note [Inlining addErrCtxt] +o{-# INLINE addErrCtxt #-} -- Note [Inlining addErrCtxt] addErrCtxt msg = addErrCtxtM (\env -> return (env, msg)) -- See Note [ErrCtxtStack Manipulation] View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/55c4f2b41a36a96c1166721f906e094… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/55c4f2b41a36a96c1166721f906e094… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/jeltsch/detecting-os-handle-types] Add OS handle type detection to `base`
by Wolfgang Jeltsch (＠jeltsch) 27 Jan '26

27 Jan '26

Wolfgang Jeltsch pushed to branch wip/jeltsch/detecting-os-handle-types at Glasgow Haskell Compiler / GHC Commits: 3f8d806e by Wolfgang Jeltsch at 2026-01-27T16:51:12+02:00 Add OS handle type detection to `base` It is deliberate that this addition to `base` does not simply reflect the `conditional`/`<!>` operation currently in `GHC.IO.SubSystem` but simply uses the value of a custom enumeration type to describe the type of OS handles currently in use. The reason for using this approach is that it is simpler and at the same type more future-proof: if a new OS handle type should be introduced in the future, it would only be necessary to add another value to `OSHandleType`, and user code that uses fallback branches in case distinctions regarding OS handle types would continue to be compilable at least; `conditional`, on the other hand, would have to have its argument count changed and `<!>` could not even be used as an infix operator anymore. Since Haskell has `case` expressions, there is no real need to have a case-distinguishing operation like `conditional`/`<!>`. - - - - - 20 changed files: - libraries/base/changelog.md - libraries/base/src/System/IO/OS.hs - libraries/base/tests/IO/all.T - libraries/base/tests/IO/osHandles001FileDescriptors.hs - libraries/base/tests/IO/osHandles001FileDescriptors.stdout - libraries/base/tests/IO/osHandles001WindowsHandles.hs - libraries/base/tests/IO/osHandles001WindowsHandles.stdout - libraries/base/tests/IO/osHandles002FileDescriptors.hs - libraries/base/tests/IO/osHandles002FileDescriptors.stdout - libraries/base/tests/IO/osHandles002WindowsHandles.hs - libraries/base/tests/IO/osHandles002WindowsHandles.stdout - + libraries/base/tests/IO/osHandles003FileDescriptors.hs - libraries/base/tests/IO/osHandles002FileDescriptors.stderr → libraries/base/tests/IO/osHandles003FileDescriptors.stderr - libraries/base/tests/IO/osHandles002FileDescriptors.stdin → libraries/base/tests/IO/osHandles003FileDescriptors.stdin - libraries/base/tests/IO/osHandles002WindowsHandles.stdin → libraries/base/tests/IO/osHandles003FileDescriptors.stdout - + libraries/base/tests/IO/osHandles003WindowsHandles.hs - libraries/base/tests/IO/osHandles002WindowsHandles.stderr → libraries/base/tests/IO/osHandles003WindowsHandles.stderr - + libraries/base/tests/IO/osHandles003WindowsHandles.stdin - + libraries/base/tests/IO/osHandles003WindowsHandles.stdout - libraries/ghc-internal/src/GHC/Internal/System/IO/OS.hs Changes: ===================================== libraries/base/changelog.md ===================================== @@ -23,7 +23,7 @@ * `GHC.Conc.catchSTM` and `GHC.Conc.Sync.catchSTM` now attach `WhileHandling` annotation to exceptions thrown from the handler. ([GHC #25365](https://gitlab.haskell.org/ghc/ghc/-/issues/25365)) * Remove `GHC.JS.Prim.Internal.Build`, as per [CLC #329](https://github.com/haskell/core-libraries-committee/issues/329) * Export `labelThread` from `Control.Concurrent`.([CLC proposal #376](https://github.com/haskell/core-libraries-committee/issues/376)) - * Add a new module `System.IO.OS` with operations for obtaining operating-system handles (file descriptors, Windows handles). ([CLC proposal #369](https://github.com/haskell/core-libraries-committee/issues/369)) + * Add a new module `System.IO.OS` with operations for detecting the type of operating-system handles in use (file descriptors, Windows handles) and obtaining such handles. (CLC proposals [#395](https://github.com/haskell/core-libraries-committee/issues/395) and [#369](https://github.com/haskell/core-libraries-committee/issues/369)) ## 4.22.0.0 *TBA* * Shipped with GHC 9.14.1 ===================================== libraries/base/src/System/IO/OS.hs ===================================== @@ -6,6 +6,10 @@ -} module System.IO.OS ( + -- * OS handle type detection + OSHandleType (FileDescriptor, WindowsHandle), + osHandleType, + -- * Obtaining file descriptors and Windows handles withFileDescriptorReadingBiased, withFileDescriptorWritingBiased, @@ -23,6 +27,8 @@ where import GHC.Internal.System.IO.OS ( + OSHandleType (FileDescriptor, WindowsHandle), + osHandleType, withFileDescriptorReadingBiased, withFileDescriptorWritingBiased, withWindowsHandleReadingBiased, ===================================== libraries/base/tests/IO/all.T ===================================== @@ -189,9 +189,11 @@ test('mkdirExists', [exit_code(1), when(opsys('mingw32'), ignore_stderr)], compi test('osHandles001FileDescriptors', omit_ways(['winio', 'winio_threaded']), compile_and_run, ['']) test('osHandles001WindowsHandles', only_ways(['winio', 'winio_threaded']), compile_and_run, ['']) -test('osHandles002FileDescriptors', [when(opsys('mingw32'), skip), when(arch('javascript'), skip)], compile_and_run, ['']) +test('osHandles002FileDescriptors', omit_ways(['winio', 'winio_threaded']), compile_and_run, ['']) test('osHandles002WindowsHandles', only_ways(['winio', 'winio_threaded']), compile_and_run, ['']) -# It would be good to let `osHandles002FileDescriptors` run also on +test('osHandles003FileDescriptors', [when(opsys('mingw32'), skip), when(arch('javascript'), skip)], compile_and_run, ['']) +test('osHandles003WindowsHandles', only_ways(['winio', 'winio_threaded']), compile_and_run, ['']) +# It would be good to let `osHandles003FileDescriptors` run also on # Windows with the file-descriptor-based I/O manager. However, this # test, as it is currently implemented, requires the `unix` package. # That said, `UCRT.DLL`, which is used by GHC-generated Windows ===================================== libraries/base/tests/IO/osHandles001FileDescriptors.hs ===================================== @@ -1,23 +1,4 @@ -{-# LANGUAGE TypeApplications #-} - -import Control.Monad (mapM_) -import Control.Exception (SomeException, try) -import System.IO (stdin, stdout, stderr) -import System.IO.OS - ( - withFileDescriptorReadingBiasedRaw, - withFileDescriptorWritingBiasedRaw, - withWindowsHandleReadingBiasedRaw, - withWindowsHandleWritingBiasedRaw - ) +import System.IO.OS (osHandleType) main :: IO () -main = mapM_ ((>>= print) . try @SomeException) $ - [ - withFileDescriptorReadingBiasedRaw stdin (return . show), - withFileDescriptorWritingBiasedRaw stdout (return . show), - withFileDescriptorWritingBiasedRaw stderr (return . show), - withWindowsHandleReadingBiasedRaw stdin (return . const "_"), - withWindowsHandleWritingBiasedRaw stdout (return . const "_"), - withWindowsHandleWritingBiasedRaw stderr (return . const "_") - ] +main = print osHandleType ===================================== libraries/base/tests/IO/osHandles001FileDescriptors.stdout ===================================== @@ -1,6 +1 @@ -Right "0" -Right "1" -Right "2" -Left <stdin>: withWindowsHandleReadingBiasedRaw: inappropriate type (handle does not use Windows handles) -Left <stdout>: withWindowsHandleWritingBiasedRaw: inappropriate type (handle does not use Windows handles) -Left <stderr>: withWindowsHandleWritingBiasedRaw: inappropriate type (handle does not use Windows handles) +FileDescriptor ===================================== libraries/base/tests/IO/osHandles001WindowsHandles.hs ===================================== @@ -1,23 +1,4 @@ -{-# LANGUAGE TypeApplications #-} - -import Control.Monad (mapM_) -import Control.Exception (SomeException, try) -import System.IO (stdin, stdout, stderr) -import System.IO.OS - ( - withFileDescriptorReadingBiasedRaw, - withFileDescriptorWritingBiasedRaw, - withWindowsHandleReadingBiasedRaw, - withWindowsHandleWritingBiasedRaw - ) +import System.IO.OS (osHandleType) main :: IO () -main = mapM_ ((>>= print) . try @SomeException) $ - [ - withFileDescriptorReadingBiasedRaw stdin (return . show), - withFileDescriptorWritingBiasedRaw stdout (return . show), - withFileDescriptorWritingBiasedRaw stderr (return . show), - withWindowsHandleReadingBiasedRaw stdin (return . const "_"), - withWindowsHandleWritingBiasedRaw stdout (return . const "_"), - withWindowsHandleWritingBiasedRaw stderr (return . const "_") - ] +main = print osHandleType ===================================== libraries/base/tests/IO/osHandles001WindowsHandles.stdout ===================================== @@ -1,6 +1 @@ -Left <stdin>: withFileDescriptorReadingBiasedRaw: inappropriate type (handle does not use file descriptors) -Left <stdout>: withFileDescriptorWritingBiasedRaw: inappropriate type (handle does not use file descriptors) -Left <stderr>: withFileDescriptorWritingBiasedRaw: inappropriate type (handle does not use file descriptors) -Right "_" -Right "_" -Right "_" +WindowsHandle ===================================== libraries/base/tests/IO/osHandles002FileDescriptors.hs ===================================== @@ -1,28 +1,23 @@ -import Data.Functor (void) -import Data.ByteString.Char8 (pack) -import System.Posix.Types (Fd (Fd), ByteCount) -import System.Posix.IO.ByteString (fdRead, fdWrite) +{-# LANGUAGE TypeApplications #-} + +import Control.Monad (mapM_) +import Control.Exception (SomeException, try) import System.IO (stdin, stdout, stderr) import System.IO.OS ( - withFileDescriptorReadingBiased, - withFileDescriptorWritingBiased + withFileDescriptorReadingBiasedRaw, + withFileDescriptorWritingBiasedRaw, + withWindowsHandleReadingBiasedRaw, + withWindowsHandleWritingBiasedRaw ) main :: IO () -main = withFileDescriptorReadingBiased stdin $ \ stdinFD -> - withFileDescriptorWritingBiased stdout $ \ stdoutFD -> - withFileDescriptorWritingBiased stderr $ \ stderrFD -> - do - regularMsg <- fdRead (Fd stdinFD) inputSizeApproximation - void $ fdWrite (Fd stdoutFD) regularMsg - void $ fdWrite (Fd stderrFD) (pack errorMsg) - where - - inputSizeApproximation :: ByteCount - inputSizeApproximation = 100 - - errorMsg :: String - errorMsg = "And every single door\n\ - \That I've walked through\n\ - \Brings me back, back here again\n" +main = mapM_ ((>>= print) . try @SomeException) $ + [ + withFileDescriptorReadingBiasedRaw stdin (return . show), + withFileDescriptorWritingBiasedRaw stdout (return . show), + withFileDescriptorWritingBiasedRaw stderr (return . show), + withWindowsHandleReadingBiasedRaw stdin (return . const "_"), + withWindowsHandleWritingBiasedRaw stdout (return . const "_"), + withWindowsHandleWritingBiasedRaw stderr (return . const "_") + ] ===================================== libraries/base/tests/IO/osHandles002FileDescriptors.stdout ===================================== @@ -1 +1,6 @@ -We've got to get in to get out +Right "0" +Right "1" +Right "2" +Left <stdin>: withWindowsHandleReadingBiasedRaw: inappropriate type (handle does not use Windows handles) +Left <stdout>: withWindowsHandleWritingBiasedRaw: inappropriate type (handle does not use Windows handles) +Left <stderr>: withWindowsHandleWritingBiasedRaw: inappropriate type (handle does not use Windows handles) ===================================== libraries/base/tests/IO/osHandles002WindowsHandles.hs ===================================== @@ -1,49 +1,23 @@ -import Control.Monad (zipWithM_) -import Data.Functor (void) -import Data.Char (ord) -import Foreign.Marshal.Alloc (allocaBytes) -import Foreign.Storable (pokeElemOff) +{-# LANGUAGE TypeApplications #-} + +import Control.Monad (mapM_) +import Control.Exception (SomeException, try) import System.IO (stdin, stdout, stderr) import System.IO.OS ( - withWindowsHandleReadingBiased, - withWindowsHandleWritingBiased + withFileDescriptorReadingBiasedRaw, + withFileDescriptorWritingBiasedRaw, + withWindowsHandleReadingBiasedRaw, + withWindowsHandleWritingBiasedRaw ) main :: IO () -main = withWindowsHandleReadingBiased stdin $ \ windowsStdin -> - withWindowsHandleWritingBiased stdout $ \ windowsStdout -> - withWindowsHandleWritingBiased stderr $ \ windowsStderr -> - do - withBuffer inputSizeApproximation $ \ bufferPtr -> do - inputSize <- win32_ReadFile windowsStdin - bufferPtr - inputSizeApproximation - Nothing - void $ win32_WriteFile windowsStdout - bufferPtr - inputSize - Nothing - withBuffer errorMsgSize $ \ bufferPtr -> do - zipWithM_ (pokeElemOff bufferPtr) - [0 ..] - (map (fromIntegral . ord) errorMsg) - void $ win32_WriteFile windowsStderr - bufferPtr - errorMsgSize - Nothing - where - - withBuffer :: DWORD -> (Ptr Word8 -> IO a) -> IO a - withBuffer = allocaBytes . fromIntegral - - inputSizeApproximation :: DWORD - inputSizeApproximation = 100 - - errorMsg :: String - errorMsg = "And every single door\n\ - \That I've walked through\n\ - \Brings me back, back here again\n" - - errorMsgSize :: DWORD - errorMsgSize = fromIntegral (length errorMsg) +main = mapM_ ((>>= print) . try @SomeException) $ + [ + withFileDescriptorReadingBiasedRaw stdin (return . show), + withFileDescriptorWritingBiasedRaw stdout (return . show), + withFileDescriptorWritingBiasedRaw stderr (return . show), + withWindowsHandleReadingBiasedRaw stdin (return . const "_"), + withWindowsHandleWritingBiasedRaw stdout (return . const "_"), + withWindowsHandleWritingBiasedRaw stderr (return . const "_") + ] ===================================== libraries/base/tests/IO/osHandles002WindowsHandles.stdout ===================================== @@ -1 +1,6 @@ -We've got to get in to get out +Left <stdin>: withFileDescriptorReadingBiasedRaw: inappropriate type (handle does not use file descriptors) +Left <stdout>: withFileDescriptorWritingBiasedRaw: inappropriate type (handle does not use file descriptors) +Left <stderr>: withFileDescriptorWritingBiasedRaw: inappropriate type (handle does not use file descriptors) +Right "_" +Right "_" +Right "_" ===================================== libraries/base/tests/IO/osHandles003FileDescriptors.hs ===================================== @@ -0,0 +1,28 @@ +import Data.Functor (void) +import Data.ByteString.Char8 (pack) +import System.Posix.Types (Fd (Fd), ByteCount) +import System.Posix.IO.ByteString (fdRead, fdWrite) +import System.IO (stdin, stdout, stderr) +import System.IO.OS + ( + withFileDescriptorReadingBiased, + withFileDescriptorWritingBiased + ) + +main :: IO () +main = withFileDescriptorReadingBiased stdin $ \ stdinFD -> + withFileDescriptorWritingBiased stdout $ \ stdoutFD -> + withFileDescriptorWritingBiased stderr $ \ stderrFD -> + do + regularMsg <- fdRead (Fd stdinFD) inputSizeApproximation + void $ fdWrite (Fd stdoutFD) regularMsg + void $ fdWrite (Fd stderrFD) (pack errorMsg) + where + + inputSizeApproximation :: ByteCount + inputSizeApproximation = 100 + + errorMsg :: String + errorMsg = "And every single door\n\ + \That I've walked through\n\ + \Brings me back, back here again\n" ===================================== libraries/base/tests/IO/osHandles002FileDescriptors.stderr → libraries/base/tests/IO/osHandles003FileDescriptors.stderr ===================================== ===================================== libraries/base/tests/IO/osHandles002FileDescriptors.stdin → libraries/base/tests/IO/osHandles003FileDescriptors.stdin ===================================== ===================================== libraries/base/tests/IO/osHandles002WindowsHandles.stdin → libraries/base/tests/IO/osHandles003FileDescriptors.stdout ===================================== ===================================== libraries/base/tests/IO/osHandles003WindowsHandles.hs ===================================== @@ -0,0 +1,49 @@ +import Control.Monad (zipWithM_) +import Data.Functor (void) +import Data.Char (ord) +import Foreign.Marshal.Alloc (allocaBytes) +import Foreign.Storable (pokeElemOff) +import System.IO (stdin, stdout, stderr) +import System.IO.OS + ( + withWindowsHandleReadingBiased, + withWindowsHandleWritingBiased + ) + +main :: IO () +main = withWindowsHandleReadingBiased stdin $ \ windowsStdin -> + withWindowsHandleWritingBiased stdout $ \ windowsStdout -> + withWindowsHandleWritingBiased stderr $ \ windowsStderr -> + do + withBuffer inputSizeApproximation $ \ bufferPtr -> do + inputSize <- win32_ReadFile windowsStdin + bufferPtr + inputSizeApproximation + Nothing + void $ win32_WriteFile windowsStdout + bufferPtr + inputSize + Nothing + withBuffer errorMsgSize $ \ bufferPtr -> do + zipWithM_ (pokeElemOff bufferPtr) + [0 ..] + (map (fromIntegral . ord) errorMsg) + void $ win32_WriteFile windowsStderr + bufferPtr + errorMsgSize + Nothing + where + + withBuffer :: DWORD -> (Ptr Word8 -> IO a) -> IO a + withBuffer = allocaBytes . fromIntegral + + inputSizeApproximation :: DWORD + inputSizeApproximation = 100 + + errorMsg :: String + errorMsg = "And every single door\n\ + \That I've walked through\n\ + \Brings me back, back here again\n" + + errorMsgSize :: DWORD + errorMsgSize = fromIntegral (length errorMsg) ===================================== libraries/base/tests/IO/osHandles002WindowsHandles.stderr → libraries/base/tests/IO/osHandles003WindowsHandles.stderr ===================================== ===================================== libraries/base/tests/IO/osHandles003WindowsHandles.stdin ===================================== @@ -0,0 +1 @@ +We've got to get in to get out ===================================== libraries/base/tests/IO/osHandles003WindowsHandles.stdout ===================================== @@ -0,0 +1 @@ +We've got to get in to get out ===================================== libraries/ghc-internal/src/GHC/Internal/System/IO/OS.hs ===================================== @@ -8,6 +8,10 @@ -} module GHC.Internal.System.IO.OS ( + -- * OS handle type detection + OSHandleType (FileDescriptor, WindowsHandle), + osHandleType, + -- * Obtaining file descriptors and Windows handles withFileDescriptorReadingBiased, withFileDescriptorWritingBiased, @@ -23,6 +27,10 @@ module GHC.Internal.System.IO.OS ) where +import GHC.Internal.Classes (Eq, Ord) +import GHC.Internal.Enum (Bounded, Enum) +import GHC.Internal.Show (Show) +import GHC.Internal.Read (Read) import GHC.Internal.Control.Monad (return) import GHC.Internal.Control.Concurrent.MVar (MVar) import GHC.Internal.Control.Exception (mask) @@ -39,6 +47,7 @@ import GHC.Internal.Data.List ((++)) import GHC.Internal.Data.String (String) import GHC.Internal.Data.Typeable (Typeable, cast) import GHC.Internal.System.IO (IO) +import GHC.Internal.IO.SubSystem (conditional) import GHC.Internal.IO.FD (fdFD) #if defined(mingw32_HOST_OS) import GHC.Internal.IO.Windows.Handle @@ -64,6 +73,19 @@ import GHC.Internal.IO.Exception import GHC.Internal.Foreign.Ptr (Ptr) import GHC.Internal.Foreign.C.Types (CInt) +-- * OS handle type detection + +-- | The type of operating-system handle types. +data OSHandleType = FileDescriptor | WindowsHandle + deriving (Eq, Ord, Bounded, Enum, Show, Read) + +{-| + The type of operating-system handles that underlie Haskell handles with the + I/O manager currently in use. +-} +osHandleType :: OSHandleType +osHandleType = conditional FileDescriptor WindowsHandle + -- * Obtaining POSIX file descriptors and Windows handles {-| View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/3f8d806e9421db25e2773b674ac45ab… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/3f8d806e9421db25e2773b674ac45ab… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/dcoutts/windows-dlls] Use __attribute__(dllimport)) for external RTS symbol declarations
by Duncan Coutts (＠dcoutts) 27 Jan '26

27 Jan '26

Duncan Coutts pushed to branch wip/dcoutts/windows-dlls at Glasgow Haskell Compiler / GHC Commits: 9a1ed49b by Duncan Coutts at 2026-01-27T14:39:37+00:00 Use __attribute__(dllimport)) for external RTS symbol declarations This is needed to be hygenic about DLL symbol imports and exports. The attribute is ignored on platforms other than Windows. Use of the attribute however means that external data symbols do not have a compile-time constant address (they are loaded using an indirection). This means we have to adjust the rtsSyms initial linker table so that it is a local constant in a function, rather than a global constant. We now define it within a function that pre-populates the symbol table with the RTS symbols. - - - - - 3 changed files: - rts/Linker.c - rts/RtsSymbols.c - rts/RtsSymbols.h Changes: ===================================== rts/Linker.c ===================================== @@ -472,16 +472,7 @@ initLinker_ (int retain_cafs) symhash = allocStrHashTable(); /* populate the symbol table with stuff from the RTS */ - IF_DEBUG(linker, debugBelch("populating linker symbol table with built-in RTS symbols\n")); - for (const RtsSymbolVal *sym = rtsSyms; sym->lbl != NULL; sym++) { - IF_DEBUG(linker, debugBelch("initLinker: inserting rts symbol %s, %p\n", sym->lbl, sym->addr)); - if (! ghciInsertSymbolTable(WSTR("(GHCi built-in symbols)"), - symhash, sym->lbl, sym->addr, - sym->strength, sym->type, NULL)) { - barf("ghciInsertSymbolTable failed"); - } - } - IF_DEBUG(linker, debugBelch("done with built-in RTS symbols\n")); + initLinkerRtsSyms(symhash); /* Add extra symbols. rtsExtraSyms() is a weakly defined symbol in the rts, * that can be overrided by linking in an object with a corresponding ===================================== rts/RtsSymbols.c ===================================== @@ -9,6 +9,7 @@ #include "ghcplatform.h" #include "Rts.h" #include "RtsSymbols.h" +#include "LinkerInternals.h" #include "TopHandler.h" #include "HsFFI.h" @@ -50,6 +51,18 @@ extern char **environ; /* ----------------------------------------------------------------------------- * Symbols to be inserted into the RTS symbol table. + * + * Note [Naming Scheme for Symbol Macros] + * + * SymI_*: symbol is internal to the RTS. It resides in an object + * file/library that is statically. + * SymE_*: symbol is external to the RTS library. It might be linked + * dynamically. + * + * Sym*_HasProto : the symbol prototype is imported in an include file + * or defined explicitly + * Sym*_NeedsProto: the symbol is undefined and we add a dummy + * default proto extern void sym(void); */ #define Maybe_Stable_Names SymI_HasProto(stg_mkWeakzh) \ @@ -1127,12 +1140,21 @@ extern char **environ; SymI_HasProto(hs_word2float64) -/* entirely bogus claims about types of these symbols */ -#define SymI_NeedsProto(vvv) extern void vvv(void); -#define SymI_NeedsDataProto(vvv) extern StgWord vvv[]; -#define SymE_NeedsProto(vvv) SymI_NeedsProto(vvv); -#define SymE_NeedsDataProto(vvv) SymI_NeedsDataProto(vvv); -#define SymE_HasProto(vvv) SymI_HasProto(vvv); +/* Declare prototypes for the symbols that need it, so we can refer + * to them in the rtsSyms table below. + * + * In particular, for the external ones (SymE_*) we use the dllimport attribute + * to indicate that (on Windows) they come from external DLLs. This attribute + * is ignored on other platforms. + * + * The claims about the types of these symbols are entirely bogus. + */ +#define SymI_NeedsProto(vvv) extern void vvv(void); +#define SymI_NeedsDataProto(vvv) extern StgWord vvv[]; +#define SymE_NeedsProto(vvv) extern __attribute__((dllimport)) void vvv(void); +#define SymE_NeedsDataProto(vvv) extern __attribute__((dllimport)) StgWord vvv[]; + +#define SymE_HasProto(vvv) /**/ #define SymI_HasProto(vvv) /**/ #define SymI_HasDataProto(vvv) /**/ #define SymI_HasProto_redirect(vvv,xxx,strength,ty) /**/ @@ -1161,6 +1183,8 @@ RTS_SYMBOLS_PRIM #undef SymE_NeedsProto #undef SymE_NeedsDataProto +/* See Note [Naming Scheme for Symbol Macros] */ + #define SymI_HasProto(vvv) { MAYBE_LEADING_UNDERSCORE_STR(#vvv), \ (void*)(&(vvv)), STRENGTH_NORMAL, SYM_TYPE_CODE }, #define SymI_HasDataProto(vvv) { MAYBE_LEADING_UNDERSCORE_STR(#vvv), \ @@ -1181,7 +1205,16 @@ RTS_SYMBOLS_PRIM { MAYBE_LEADING_UNDERSCORE_STR(#vvv), \ (void*)(&(xxx)), strength, ty }, -RtsSymbolVal rtsSyms[] = { + +/* Populate the symbol table with stuff from the RTS. */ +void initLinkerRtsSyms (StrHashTable *symhash) { + + /* The address of data symbols with the dllimport attribute are not + * compile-time constants and so cannot be used in constant initialisers. + * For this reason, rtsSyms is a local variable within this function + * rather than a global constant (as it was historically). + */ + const RtsSymbolVal rtsSyms[] = { RTS_SYMBOLS RTS_RET_SYMBOLS RTS_POSIX_ONLY_SYMBOLS @@ -1196,7 +1229,19 @@ RtsSymbolVal rtsSyms[] = { RTS_SYMBOLS_PRIM SymI_HasDataProto(nonmoving_write_barrier_enabled) { 0, 0, STRENGTH_NORMAL, SYM_TYPE_CODE } /* sentinel */ -}; + }; + + IF_DEBUG(linker, debugBelch("populating linker symbol table with built-in RTS symbols\n")); + for (const RtsSymbolVal *sym = rtsSyms; sym->lbl != NULL; sym++) { + IF_DEBUG(linker, debugBelch("initLinker: inserting rts symbol %s, %p\n", sym->lbl, sym->addr)); + if (! ghciInsertSymbolTable(WSTR("(GHCi built-in symbols)"), + symhash, sym->lbl, sym->addr, + sym->strength, sym->type, NULL)) { + barf("ghciInsertSymbolTable failed"); + } + } + IF_DEBUG(linker, debugBelch("done with built-in RTS symbols\n")); +} // Note [Extra RTS symbols] ===================================== rts/RtsSymbols.h ===================================== @@ -9,6 +9,7 @@ #pragma once #include "ghcautoconf.h" +#include "Hash.h" #if defined(LEADING_UNDERSCORE) #define MAYBE_LEADING_UNDERSCORE_STR(s) ("_" s) @@ -46,7 +47,7 @@ typedef struct _RtsSymbolVal { SymType type; } RtsSymbolVal; -extern RtsSymbolVal rtsSyms[]; +void initLinkerRtsSyms (StrHashTable *symhash); extern RtsSymbolVal* __attribute__((weak)) rtsExtraSyms(void); View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9a1ed49b90a53e7299294ee4c60d813… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9a1ed49b90a53e7299294ee4c60d813… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc] Pushed new branch wip/jeltsch/detecting-os-handle-types
by Wolfgang Jeltsch (＠jeltsch) 27 Jan '26

27 Jan '26

Wolfgang Jeltsch pushed new branch wip/jeltsch/detecting-os-handle-types at Glasgow Haskell Compiler / GHC -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/tree/wip/jeltsch/detecting-os-handle-t… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/T26832] 3 commits: ghc-internal: avoid depending on GHC.Internal.Exts
by Teo Camarasu (＠teo) 27 Jan '26

27 Jan '26

Teo Camarasu pushed to branch wip/T26832 at Glasgow Haskell Compiler / GHC Commits: 9ba40985 by Teo Camarasu at 2026-01-27T11:03:27+00:00 ghc-internal: avoid depending on GHC.Internal.Exts This module is mostly just re-exports. It made sense as a user-facing module, but there's no good reason ghc-internal modules should depend on it and doing so linearises the module graph - - - - - f004fd2d by Teo Camarasu at 2026-01-27T11:03:27+00:00 ghc-internal: move considerAccessible to GHC.Internal.Magic Previously it lived in GHC.Internal.Exts, but it really deserves to live along with the other magic function, which are already re-exported from .Exts - - - - - bf2c4cae by Teo Camarasu at 2026-01-27T11:03:27+00:00 ghc-internal: move maxTupleSize to GHC.Internal.Tuple This previously lived in GHC.Internal.Exts but a comment already said it should be moved to .Tuple - - - - - 14 changed files: - compiler/GHC/Builtin/Names.hs - libraries/ghc-internal/src/GHC/Internal/Exts.hs - libraries/ghc-internal/src/GHC/Internal/Heap/Closures.hs - libraries/ghc-internal/src/GHC/Internal/JS/Foreign/Callback.hs - libraries/ghc-internal/src/GHC/Internal/JS/Prim.hs - libraries/ghc-internal/src/GHC/Internal/JS/Prim/Internal/Build.hs - libraries/ghc-internal/src/GHC/Internal/Magic.hs - libraries/ghc-internal/src/GHC/Internal/Stack/Decode.hs - libraries/ghc-internal/src/GHC/Internal/Tuple.hs - libraries/ghc-internal/src/GHC/Internal/Wasm/Prim/Exports.hs - libraries/ghc-internal/src/GHC/Internal/Wasm/Prim/Imports.hs - libraries/ghc-internal/src/GHC/Internal/Wasm/Prim/Types.hs - testsuite/tests/interface-stability/ghc-experimental-exports.stdout - testsuite/tests/interface-stability/ghc-prim-exports.stdout Changes: ===================================== compiler/GHC/Builtin/Names.hs ===================================== @@ -1063,7 +1063,7 @@ alternativeClassKey = mkPreludeMiscIdUnique 754 -- Functions for GHC extensions considerAccessibleName :: Name -considerAccessibleName = varQual gHC_INTERNAL_EXTS (fsLit "considerAccessible") considerAccessibleIdKey +considerAccessibleName = varQual gHC_MAGIC (fsLit "considerAccessible") considerAccessibleIdKey -- Random GHC.Internal.Base functions fromStringName, otherwiseIdName, foldrName, buildName, augmentName, ===================================== libraries/ghc-internal/src/GHC/Internal/Exts.hs ===================================== @@ -321,10 +321,7 @@ import GHC.Internal.Data.Data import GHC.Internal.Data.Ord import qualified GHC.Internal.Debug.Trace import GHC.Internal.Unsafe.Coerce ( unsafeCoerce# ) -- just for re-export - --- XXX This should really be in Data.Tuple, where the definitions are -maxTupleSize :: Int -maxTupleSize = 64 +import GHC.Internal.Tuple (maxTupleSize) -- | 'the' ensures that all the elements of the list are identical -- and then returns that unique element @@ -444,27 +441,3 @@ resizeSmallMutableArray# arr0 szNew a s0 = (# s2, arr1 #) -> case copySmallMutableArray# arr0 0# arr1 0# szOld s2 of s3 -> (# s3, arr1 #) else (# s1, arr0 #) - --- | Semantically, @considerAccessible = True@. But it has special meaning --- to the pattern-match checker, which will never flag the clause in which --- 'considerAccessible' occurs as a guard as redundant or inaccessible. --- Example: --- --- > case (x, x) of --- > (True, True) -> 1 --- > (False, False) -> 2 --- > (True, False) -> 3 -- Warning: redundant --- --- The pattern-match checker will warn here that the third clause is redundant. --- It will stop doing so if the clause is adorned with 'considerAccessible': --- --- > case (x, x) of --- > (True, True) -> 1 --- > (False, False) -> 2 --- > (True, False) | considerAccessible -> 3 -- No warning --- --- Put 'considerAccessible' as the last statement of the guard to avoid get --- confusing results from the pattern-match checker, which takes \"consider --- accessible\" by word. -considerAccessible :: Bool -considerAccessible = True ===================================== libraries/ghc-internal/src/GHC/Internal/Heap/Closures.hs ===================================== @@ -75,9 +75,10 @@ import GHC.Internal.Int import GHC.Internal.Num import GHC.Internal.Real import GHC.Internal.Word -import GHC.Internal.Exts import GHC.Internal.Generics import GHC.Internal.Numeric +import GHC.Internal.Ptr +import GHC.Internal.Unsafe.Coerce import GHC.Internal.Stack (HasCallStack) ------------------------------------------------------------------------ ===================================== libraries/ghc-internal/src/GHC/Internal/JS/Foreign/Callback.hs ===================================== @@ -21,8 +21,6 @@ module GHC.Internal.JS.Foreign.Callback import GHC.Internal.JS.Prim -import qualified GHC.Internal.Exts as Exts - import GHC.Internal.Unsafe.Coerce import GHC.Internal.Base @@ -131,18 +129,18 @@ asyncCallback3 x = js_asyncCallbackApply 3 (unsafeCoerce x) -- ---------------------------------------------------------------------------- foreign import javascript unsafe "(($1, $2) => { return h$makeCallback(h$runSync, [$1], $2); })" - js_syncCallback :: Bool -> Exts.Any -> IO (Callback (IO b)) + js_syncCallback :: Bool -> Any -> IO (Callback (IO b)) foreign import javascript unsafe "(($1) => { return h$makeCallback(h$run, [], $1); })" - js_asyncCallback :: Exts.Any -> IO (Callback (IO b)) + js_asyncCallback :: Any -> IO (Callback (IO b)) foreign import javascript unsafe "(($1) => { return h$makeCallback(h$runSyncReturn, [false], $1); })" - js_syncCallbackReturn :: Exts.Any -> IO (Callback (IO JSVal)) + js_syncCallbackReturn :: Any -> IO (Callback (IO JSVal)) foreign import javascript unsafe "(($1, $2, $3) => { return h$makeCallbackApply($2, h$runSync, [$1], $3); })" - js_syncCallbackApply :: Bool -> Int -> Exts.Any -> IO (Callback b) + js_syncCallbackApply :: Bool -> Int -> Any -> IO (Callback b) foreign import javascript unsafe "(($1, $2) => { return h$makeCallbackApply($1, h$run, [], $2); })" - js_asyncCallbackApply :: Int -> Exts.Any -> IO (Callback b) + js_asyncCallbackApply :: Int -> Any -> IO (Callback b) foreign import javascript unsafe "(($1, $2) => { return h$makeCallbackApply($1, h$runSyncReturn, [false], $2); })" - js_syncCallbackApplyReturn :: Int -> Exts.Any -> IO (Callback b) + js_syncCallbackApplyReturn :: Int -> Any -> IO (Callback b) foreign import javascript unsafe "h$release" js_release :: Callback a -> IO () ===================================== libraries/ghc-internal/src/GHC/Internal/JS/Prim.hs ===================================== @@ -42,8 +42,8 @@ module GHC.Internal.JS.Prim ( JSVal(..), JSVal# import GHC.Internal.Unsafe.Coerce (unsafeCoerce) import GHC.Internal.Prim +import GHC.Internal.Types import qualified GHC.Internal.Exception as Ex -import qualified GHC.Internal.Exts as Exts import qualified GHC.Internal.CString as GHC import GHC.Internal.IO import GHC.Internal.Data.Bool @@ -78,15 +78,15 @@ instance Show JSException where #if defined(javascript_HOST_ARCH) {-# NOINLINE toIO #-} -toIO :: Exts.Any -> IO Exts.Any +toIO :: Any -> IO Any toIO x = pure x {-# NOINLINE resolve #-} -resolve :: JSVal# -> JSVal# -> Exts.Any -> IO () +resolve :: JSVal# -> JSVal# -> Any -> IO () resolve accept reject x = resolveIO accept reject (pure x) {-# NOINLINE resolveIO #-} -- used by the rts -resolveIO :: JSVal# -> JSVal# -> IO Exts.Any -> IO () +resolveIO :: JSVal# -> JSVal# -> IO Any -> IO () resolveIO accept reject x = (x >>= evaluate >>= js_callback_any accept) `catch` (\(e::Ex.SomeException) -> do @@ -260,16 +260,16 @@ seqList xs = go xs `seq` xs go [] = () foreign import javascript unsafe "h$toHsString" - js_fromJSString :: JSVal -> Exts.Any + js_fromJSString :: JSVal -> Any foreign import javascript unsafe "h$fromHsString" - js_toJSString :: Exts.Any -> JSVal + js_toJSString :: Any -> JSVal foreign import javascript unsafe "h$toHsListJSVal" - js_fromJSArray :: JSVal -> IO Exts.Any + js_fromJSArray :: JSVal -> IO Any foreign import javascript unsafe "h$fromHsListJSVal" - js_toJSArray :: Exts.Any -> IO JSVal + js_toJSArray :: Any -> IO JSVal foreign import javascript unsafe "(($1) => { return ($1 === null); })" js_isNull :: JSVal -> Bool @@ -287,10 +287,10 @@ foreign import javascript unsafe "(() => { return null; })" js_null :: JSVal foreign import javascript unsafe "(($1,$2) => { return $1[h$fromHsString($2)]; })" - js_getProp :: JSVal -> Exts.Any -> IO JSVal + js_getProp :: JSVal -> Any -> IO JSVal foreign import javascript unsafe "(($1,$2) => { return $1[h$fromHsString($2)]; })" - js_unsafeGetProp :: JSVal -> Exts.Any -> JSVal + js_unsafeGetProp :: JSVal -> Any -> JSVal foreign import javascript unsafe "(($1,$2) => { return $1[$2]; })" js_getProp' :: JSVal -> JSVal -> IO JSVal @@ -311,7 +311,7 @@ foreign import javascript unsafe "(($1_1, $1_2) => { return h$decodeUtf8z($1_1,$ js_unsafeUnpackJSStringUtf8## :: Addr# -> JSVal# foreign import javascript unsafe "(($1, $2) => { return $1($2); })" - js_callback_any :: JSVal# -> Exts.Any -> IO () + js_callback_any :: JSVal# -> Any -> IO () foreign import javascript unsafe "(($1, $2) => { return $1($2); })" js_callback_jsval :: JSVal# -> JSVal -> IO () ===================================== libraries/ghc-internal/src/GHC/Internal/JS/Prim/Internal/Build.hs ===================================== @@ -145,7 +145,6 @@ module GHC.Internal.JS.Prim.Internal.Build ) where import GHC.Internal.JS.Prim -import GHC.Internal.Exts import GHC.Internal.IO import GHC.Internal.Unsafe.Coerce import GHC.Internal.Base ===================================== libraries/ghc-internal/src/GHC/Internal/Magic.hs ===================================== @@ -24,7 +24,7 @@ -- ----------------------------------------------------------------------------- -module GHC.Internal.Magic ( inline, noinline, lazy, oneShot, runRW#, DataToTag(..) ) where +module GHC.Internal.Magic ( inline, noinline, lazy, oneShot, runRW#, DataToTag(..), considerAccessible ) where -------------------------------------------------- -- See Note [magicIds] in GHC.Types.Id.Make @@ -34,7 +34,7 @@ module GHC.Internal.Magic ( inline, noinline, lazy, oneShot, runRW#, DataToTag(. -- because TYPE is not exported by the source Haskell module generated by -- genprimops which Haddock will typecheck (#15935). import GHC.Internal.Prim (State#, realWorld#, RealWorld, Int#) -import GHC.Internal.Types (RuntimeRep(BoxedRep), TYPE, Levity, Constraint) +import GHC.Internal.Types (RuntimeRep(BoxedRep), TYPE, Levity, Constraint, Bool(True)) -- | The call @inline f@ arranges that @f@ is inlined, regardless of -- its size. More precisely, the call @inline f@ rewrites to the @@ -137,3 +137,27 @@ type DataToTag :: forall {lev :: Levity}. TYPE (BoxedRep lev) -> Constraint -- So it does not get its own Unsafe module, unlike WithDict. class DataToTag a where dataToTag# :: a -> Int# + +-- | Semantically, @considerAccessible = True@. But it has special meaning +-- to the pattern-match checker, which will never flag the clause in which +-- 'considerAccessible' occurs as a guard as redundant or inaccessible. +-- Example: +-- +-- > case (x, x) of +-- > (True, True) -> 1 +-- > (False, False) -> 2 +-- > (True, False) -> 3 -- Warning: redundant +-- +-- The pattern-match checker will warn here that the third clause is redundant. +-- It will stop doing so if the clause is adorned with 'considerAccessible': +-- +-- > case (x, x) of +-- > (True, True) -> 1 +-- > (False, False) -> 2 +-- > (True, False) | considerAccessible -> 3 -- No warning +-- +-- Put 'considerAccessible' as the last statement of the guard to avoid get +-- confusing results from the pattern-match checker, which takes \"consider +-- accessible\" by word. +considerAccessible :: Bool +considerAccessible = True ===================================== libraries/ghc-internal/src/GHC/Internal/Stack/Decode.hs ===================================== @@ -40,8 +40,8 @@ import GHC.Internal.Data.List import GHC.Internal.Data.Tuple import GHC.Internal.Foreign.Ptr import GHC.Internal.Foreign.Storable -import GHC.Internal.Exts import GHC.Internal.Unsafe.Coerce +import GHC.Internal.Ptr import GHC.Internal.ClosureTypes import GHC.Internal.Heap.Closures ===================================== libraries/ghc-internal/src/GHC/Internal/Tuple.hs ===================================== @@ -27,10 +27,11 @@ module GHC.Internal.Tuple ( Tuple40(..), Tuple41(..), Tuple42(..), Tuple43(..), Tuple44(..), Tuple45(..), Tuple46(..), Tuple47(..), Tuple48(..), Tuple49(..), Tuple50(..), Tuple51(..), Tuple52(..), Tuple53(..), Tuple54(..), Tuple55(..), Tuple56(..), Tuple57(..), Tuple58(..), Tuple59(..), Tuple60(..), Tuple61(..), Tuple62(..), Tuple63(..), Tuple64(..), + maxTupleSize, ) where -- See W1 of Note [Tracking dependencies on primitives] in GHC.Internal.Base -import GHC.Internal.Types () +import GHC.Internal.Types (Int) default () -- Double and Integer aren't available yet @@ -598,3 +599,6 @@ data Tuple64 a b c d e f g h i j k l m n o p q r s t u v w x y z a1 b1 c1 d1 e1 r1 s1 t1 u1 v1 w1 x1 y1 z1 a2 b2 c2 d2 e2 f2 g2 h2 i2 j2 k2 l2 = (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z,a1,b1,c1,d1,e1,f1,g1,h1,i1,j1,k1,l1,m1,n1,o1,p1,q1, r1,s1,t1,u1,v1,w1,x1,y1,z1,a2,b2,c2,d2,e2,f2,g2,h2,i2,j2,k2,l2) + +maxTupleSize :: Int +maxTupleSize = 64 ===================================== libraries/ghc-internal/src/GHC/Internal/Wasm/Prim/Exports.hs ===================================== @@ -32,7 +32,6 @@ module GHC.Internal.Wasm.Prim.Exports ( import GHC.Internal.Base import GHC.Internal.Exception.Type -import GHC.Internal.Exts import GHC.Internal.IO import GHC.Internal.IORef import GHC.Internal.Int ===================================== libraries/ghc-internal/src/GHC/Internal/Wasm/Prim/Imports.hs ===================================== @@ -30,7 +30,6 @@ module GHC.Internal.Wasm.Prim.Imports ( import GHC.Internal.Base import GHC.Internal.Exception -import GHC.Internal.Exts import GHC.Internal.IO.Unsafe import GHC.Internal.Stable import GHC.Internal.Wasm.Prim.Types ===================================== libraries/ghc-internal/src/GHC/Internal/Wasm/Prim/Types.hs ===================================== @@ -20,9 +20,9 @@ module GHC.Internal.Wasm.Prim.Types ( import GHC.Internal.Base import GHC.Internal.Exception.Type -import GHC.Internal.Exts import GHC.Internal.Foreign.C.String.Encoding import GHC.Internal.ForeignPtr +import GHC.Internal.Ptr import GHC.Internal.IO import GHC.Internal.IO.Encoding import GHC.Internal.Num ===================================== testsuite/tests/interface-stability/ghc-experimental-exports.stdout ===================================== @@ -4453,6 +4453,7 @@ module Data.Tuple.Experimental where type Unit# :: GHC.Internal.Types.ZeroBitType data Unit# = ... getSolo :: forall a. Solo a -> a + maxTupleSize :: GHC.Internal.Types.Int module GHC.Exception.Backtrace.Experimental where -- Safety: None @@ -11044,6 +11045,7 @@ module Prelude.Experimental where type Unit# :: GHC.Internal.Types.ZeroBitType data Unit# = ... getSolo :: forall a. Solo a -> a + maxTupleSize :: GHC.Internal.Types.Int module System.Mem.Experimental where -- Safety: None ===================================== testsuite/tests/interface-stability/ghc-prim-exports.stdout ===================================== @@ -1232,6 +1232,7 @@ module GHC.Magic where class DataToTag a where dataToTag# :: a -> GHC.Internal.Prim.Int# {-# MINIMAL dataToTag# #-} + considerAccessible :: GHC.Internal.Types.Bool inline :: forall a. a -> a lazy :: forall a. a -> a noinline :: forall a. a -> a @@ -3891,6 +3892,7 @@ module GHC.Tuple where type Unit :: * data Unit = () getSolo :: forall a. Solo a -> a + maxTupleSize :: GHC.Internal.Types.Int module GHC.Types where -- Safety: None View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/836851c8a4650e97e1a7b23a54a802… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/836851c8a4650e97e1a7b23a54a802… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/jeltsch/stability-risk-1-and-2-module-deprecation] Add error output with deprecation warnings
by Wolfgang Jeltsch (＠jeltsch) 27 Jan '26

27 Jan '26

Wolfgang Jeltsch pushed to branch wip/jeltsch/stability-risk-1-and-2-module-deprecation at Glasgow Haskell Compiler / GHC Commits: cafb4c3a by Wolfgang Jeltsch at 2026-01-27T15:07:37+02:00 Add error output with deprecation warnings - - - - - 15 changed files: - + libraries/base/tests/IO/T3307.stderr - + testsuite/tests/cmm/should_compile/T17442.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables01.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables02.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables03.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables04.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables05.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables06.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables07.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables08.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables09.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables10.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables11.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables12.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables13.stderr Changes: ===================================== libraries/base/tests/IO/T3307.stderr ===================================== @@ -0,0 +1,3 @@ +T3307.hs:10:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.IO.Encoding’ is deprecated: + "GHC.IO.Encoding is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/cmm/should_compile/T17442.stderr ===================================== @@ -0,0 +1,3 @@ +T17442.hs:6:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.Arr’ is deprecated: + "GHC.Arr is deprecated and will be removed in GHC 10.02. Please use the array package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables01.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables02.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables03.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables04.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables05.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables06.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables07.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables08.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables09.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables10.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables11.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables12.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables13.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/cafb4c3af4e8b614fa58e92fd801aaa… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/cafb4c3af4e8b614fa58e92fd801aaa… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/jeltsch/ghc-desugar-removal] Deleted 1 commit: Add error output with deprecation warnings
by Wolfgang Jeltsch (＠jeltsch) 27 Jan '26

27 Jan '26

Wolfgang Jeltsch pushed to branch wip/jeltsch/ghc-desugar-removal at Glasgow Haskell Compiler / GHC WARNING: The push did not contain any new commits, but force pushed to delete the commits and changes below. Deleted commits: 6a5e89ed by Wolfgang Jeltsch at 2026-01-27T15:04:09+02:00 Add error output with deprecation warnings - - - - - 15 changed files: - + libraries/base/tests/IO/T3307.stderr - + testsuite/tests/cmm/should_compile/T17442.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables01.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables02.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables03.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables04.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables05.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables06.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables07.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables08.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables09.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables10.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables11.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables12.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables13.stderr Changes: ===================================== libraries/base/tests/IO/T3307.stderr ===================================== @@ -0,0 +1,3 @@ +T3307.hs:10:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.IO.Encoding’ is deprecated: + "GHC.IO.Encoding is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/cmm/should_compile/T17442.stderr ===================================== @@ -0,0 +1,3 @@ +T17442.hs:6:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.Arr’ is deprecated: + "GHC.Arr is deprecated and will be removed in GHC 10.02. Please use the array package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables01.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables02.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables03.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables04.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables05.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables06.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables07.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables08.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables09.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables10.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables11.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables12.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables13.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/6a5e89ed77168ffa094d3f1a7de51c5… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/6a5e89ed77168ffa094d3f1a7de51c5… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/jeltsch/ghc-desugar-removal] Add error output with deprecation warnings
by Wolfgang Jeltsch (＠jeltsch) 27 Jan '26

27 Jan '26

Wolfgang Jeltsch pushed to branch wip/jeltsch/ghc-desugar-removal at Glasgow Haskell Compiler / GHC Commits: 6a5e89ed by Wolfgang Jeltsch at 2026-01-27T15:04:09+02:00 Add error output with deprecation warnings - - - - - 15 changed files: - + libraries/base/tests/IO/T3307.stderr - + testsuite/tests/cmm/should_compile/T17442.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables01.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables02.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables03.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables04.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables05.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables06.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables07.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables08.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables09.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables10.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables11.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables12.stderr - + testsuite/tests/rts/ipe/distinct-tables/distinct_tables13.stderr Changes: ===================================== libraries/base/tests/IO/T3307.stderr ===================================== @@ -0,0 +1,3 @@ +T3307.hs:10:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.IO.Encoding’ is deprecated: + "GHC.IO.Encoding is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/cmm/should_compile/T17442.stderr ===================================== @@ -0,0 +1,3 @@ +T17442.hs:6:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.Arr’ is deprecated: + "GHC.Arr is deprecated and will be removed in GHC 10.02. Please use the array package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables01.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables02.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables03.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables04.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables05.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables06.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables07.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables08.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables09.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables10.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables11.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables12.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." ===================================== testsuite/tests/rts/ipe/distinct-tables/distinct_tables13.stderr ===================================== @@ -0,0 +1,3 @@ +Main.hs:3:1: warning: [GHC-15328] [-Wdeprecations (in -Wextended-warnings)] + Module ‘GHC.InfoProv’ is deprecated: + "GHC.InfoProv is deprecated and will be removed in GHC 10.02. Please use the ghc-internal package." View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/6a5e89ed77168ffa094d3f1a7de51c5… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/6a5e89ed77168ffa094d3f1a7de51c5… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/26805] 9 commits: Export labelThread from Control.Concurrent
by Simon Peyton Jones (＠simonpj) 27 Jan '26

27 Jan '26

Simon Peyton Jones pushed to branch wip/26805 at Glasgow Haskell Compiler / GHC Commits: 917ab8ff by Oleg Grenrus at 2026-01-23T10:52:55-05:00 Export labelThread from Control.Concurrent - - - - - 3f5e8d80 by Cheng Shao at 2026-01-23T10:53:37-05:00 ci: only push perf notes on master/release branches This patch fixes push_perf_notes logic in ci.sh to only push perf notes on master/release branches. We used to unconditionally push perf notes even in MRs, but the perf numbers in the wip branches wouldn't be used as baseline anyway, plus this is causing a space leak in the ghc-performance-notes repo. See #25317 for the perf notes repo size problem. Co-authored-by: Codex <codex(a)openai.com> - - - - - 414b9593 by Cheng Shao at 2026-01-24T07:11:51-05:00 ci: remove duplicate keys in .gitlab-ci.yml This patch removes accidentally duplicate keys in `.gitlab-ci.yml`. The YAML spec doesn't allow duplicate keys in the first place, and according to GitLab docs (https://docs.gitlab.com/ci/yaml/yaml_optimization/#anchors) the latest key overrides the earlier entries. - - - - - e5cb5491 by Cheng Shao at 2026-01-24T07:12:34-05:00 hadrian: drop obsolete configure/make builder logic for libffi This patch drops obsolete hadrian logic around `Configure libffiPath`/`Make libffiPath` builders, they are no longer needed after libffi-clib has landed. Closes #26815. - - - - - 2d160222 by Simon Hengel at 2026-01-24T07:13:17-05:00 Fix typo in roles.rst - - - - - 56db94f7 by Peter Trommler at 2026-01-26T11:26:18+01:00 PPC NCG: Generate clear right insn at arch width The clear right immediate (clrrxi) is only available in word and doubleword width. Generate clrrxi instructions at architecture width for all MachOp widths. Fixes #24145 - - - - - 5957a8ad by Wolfgang Jeltsch at 2026-01-27T06:11:40-05:00 Add operations for obtaining operating-system handles This contribution implements CLC proposal #369. It adds operations for obtaining POSIX file descriptors and Windows handles that underlie Haskell handles. Those operating system handles can also be obtained without such additional operations, but this is more involved and, more importantly, requires using internals. - - - - - 86a0510c by Greg Steuck at 2026-01-27T06:12:34-05:00 Move flags to precede patterns for grep and read files directly This makes the tests pass with non-GNU (i.e. POSIX-complicant) tools. There's no reason to use cat and pipe where direct file argument works. - - - - - 8e1e2b11 by Simon Peyton Jones at 2026-01-27T12:34:45+00:00 Fix two bugs in short-cut constraint solving There are two main changes here: * Use `isSolvedWC` rather than `isEmptyWC` in `tryShortCutSolver` The residual constraint may have some fully-solved, but still-there implications, and we don't want them to abort short cut solving! That bug caused #26805. * In the short-cut solver, we abandon the fully-solved residual constraint; but we may thereby lose track of Givens that are needed, and either report them as redundant or prune evidence bindings that are in fact needed. This bug stopped the `constraints` package from compiling; see the trail in !15389. The second bug led me to (another) significant refactoring of the mechanism for tracking needed EvIds. See the new Note [Tracking needed EvIds] in GHC.Tc.Solver.Solve It's simpler and much less head-scratchy now. Some particulars: * An EvBindsVar now tracks NeededEvIds * We deal with NeededEvIds for an implication only when it is fully solved. Much simpler! * `tryShortCutTcS` now takes a `TcM WantedConstraints` rather than `TcM Bool`, so that is can plumb the needed EvIds correctly. * Remove `ic_need` and `ic_need_implic` from Implication (hooray), and add `ics_dm` and `ics_non_dm` to `IC_Solved`. Pure refactor * Shorten data constructor `CoercionHole` to `CH`, following general practice in GHC. * Rename `EvBindMap` to `EvBindsMap` for consistency - - - - - 62 changed files: - .gitlab-ci.yml - .gitlab/ci.sh - compiler/GHC/CmmToAsm/PPC/CodeGen.hs - compiler/GHC/Core/TyCo/Rep.hs - compiler/GHC/Core/TyCo/Subst.hs - compiler/GHC/Core/TyCo/Tidy.hs - compiler/GHC/Tc/Errors.hs - compiler/GHC/Tc/Gen/Default.hs - compiler/GHC/Tc/Gen/Expr.hs - compiler/GHC/Tc/Solver/Default.hs - compiler/GHC/Tc/Solver/Dict.hs - compiler/GHC/Tc/Solver/Equality.hs - compiler/GHC/Tc/Solver/InertSet.hs - compiler/GHC/Tc/Solver/Monad.hs - compiler/GHC/Tc/Solver/Solve.hs - compiler/GHC/Tc/TyCl/Instance.hs - compiler/GHC/Tc/Types/Constraint.hs - compiler/GHC/Tc/Types/Evidence.hs - compiler/GHC/Tc/Types/Origin.hs - compiler/GHC/Tc/Utils/Monad.hs - compiler/GHC/Tc/Utils/TcMType.hs - compiler/GHC/Tc/Utils/Unify.hs - compiler/GHC/Tc/Zonk/TcType.hs - compiler/GHC/Tc/Zonk/Type.hs - compiler/GHC/Types/Var.hs - compiler/GHC/Utils/Trace.hs - docs/users_guide/exts/roles.rst - hadrian/src/Context.hs - hadrian/src/Settings/Builders/Configure.hs - hadrian/src/Settings/Builders/Make.hs - libraries/base/base.cabal.in - libraries/base/changelog.md - libraries/base/src/Control/Concurrent.hs - + libraries/base/src/System/IO/OS.hs - libraries/base/src/System/Timeout.hs - libraries/base/tests/IO/all.T - + libraries/base/tests/IO/osHandles001FileDescriptors.hs - + libraries/base/tests/IO/osHandles001FileDescriptors.stdout - + libraries/base/tests/IO/osHandles001WindowsHandles.hs - + libraries/base/tests/IO/osHandles001WindowsHandles.stdout - + libraries/base/tests/IO/osHandles002FileDescriptors.hs - + libraries/base/tests/IO/osHandles002FileDescriptors.stderr - + libraries/base/tests/IO/osHandles002FileDescriptors.stdin - + libraries/base/tests/IO/osHandles002FileDescriptors.stdout - + libraries/base/tests/IO/osHandles002WindowsHandles.hs - + libraries/base/tests/IO/osHandles002WindowsHandles.stderr - + libraries/base/tests/IO/osHandles002WindowsHandles.stdin - + libraries/base/tests/IO/osHandles002WindowsHandles.stdout - libraries/base/tests/perf/Makefile - libraries/ghc-internal/ghc-internal.cabal.in - + libraries/ghc-internal/src/GHC/Internal/System/IO/OS.hs - testsuite/tests/driver/T16318/Makefile - testsuite/tests/driver/T18125/Makefile - testsuite/tests/interface-stability/base-exports.stdout - testsuite/tests/interface-stability/base-exports.stdout-javascript-unknown-ghcjs - testsuite/tests/interface-stability/base-exports.stdout-mingw32 - testsuite/tests/interface-stability/base-exports.stdout-ws-32 - + testsuite/tests/simplCore/should_compile/T26805.hs - + testsuite/tests/simplCore/should_compile/T26805.stderr - testsuite/tests/simplCore/should_compile/all.T - + testsuite/tests/typecheck/should_compile/T26805a.hs - testsuite/tests/typecheck/should_compile/all.T The diff was not included because it is too large. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/3ff419a9fa70b975f74e20a65fe398… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/3ff419a9fa70b975f74e20a65fe398… You're receiving this email because of your account on gitlab.haskell.org.

1 0