[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 5 commits: Don't assume the current locale is *.UTF-8, set the encoding explicitly
Marge Bot (@marge-bot)
gitlab at gitlab.haskell.org
Sat Nov 11 08:55:30 UTC 2023
Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC
Commits:
52c0fc69 by PHO at 2023-11-09T19:16:22-05:00
Don't assume the current locale is *.UTF-8, set the encoding explicitly
primops.txt contains Unicode characters:
> LC_ALL=C ./genprimopcode --data-decl < ./primops.txt
> genprimopcode: <stdin>: hGetContents: invalid argument (cannot decode byte sequence starting from 226)
Hadrian must also avoid using readFile' to read primops.txt because it
tries to decode the file with a locale-specific encoding.
- - - - -
7233b3b1 by PHO at 2023-11-09T19:17:01-05:00
Use '[' instead of '[[' because the latter is a Bash-ism
It doesn't work on platforms where /bin/sh is something other than Bash.
- - - - -
6dbab180 by Simon Peyton Jones at 2023-11-09T19:17:36-05:00
Add an extra check in kcCheckDeclHeader_sig
Fix #24083 by checking for a implicitly-scoped type variable that is not
actually bound. See Note [Disconnected type variables] in GHC.Tc.Gen.HsType
For some reason, on aarch64-darwin we saw a 2.8% decrease in compiler
allocations for MultiLayerModulesTH_Make; but 0.0% on other architectures.
Metric Decrease:
MultiLayerModulesTH_Make
- - - - -
1cebf8d2 by Sven Tennie at 2023-11-11T03:55:15-05:00
AArch64: Delete unused LDATA pseudo-instruction
Though there were consuming functions for LDATA, there were no
producers. Thus, the removed code was "dead".
- - - - -
9a9a3f64 by Alan Zimmerman at 2023-11-11T03:55:16-05:00
EPA: harmonise acsa and acsA in GHC/Parser.y
With the HasLoc class, we can remove the acsa helper function,
using acsA instead.
- - - - -
17 changed files:
- compiler/GHC/CmmToAsm/AArch64/CodeGen.hs
- compiler/GHC/CmmToAsm/AArch64/Instr.hs
- compiler/GHC/CmmToAsm/AArch64/Ppr.hs
- compiler/GHC/Parser.y
- compiler/GHC/Parser/PostProcess.hs
- compiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Tc/Gen/HsType.hs
- compiler/GHC/Types/Error/Codes.hs
- compiler/GHC/Types/Hint.hs
- compiler/GHC/Types/Hint/Ppr.hs
- hadrian/src/Builder.hs
- rts/configure.ac
- + testsuite/tests/polykinds/T24083.hs
- + testsuite/tests/polykinds/T24083.stderr
- testsuite/tests/polykinds/all.T
- utils/genprimopcode/Main.hs
Changes:
=====================================
compiler/GHC/CmmToAsm/AArch64/CodeGen.hs
=====================================
@@ -162,8 +162,9 @@ basicBlockCodeGen block = do
-- unwinding info. See Ticket 19913
-- code generation may introduce new basic block boundaries, which
-- are indicated by the NEWBLOCK instruction. We must split up the
- -- instruction stream into basic blocks again. Also, we extract
- -- LDATAs here too.
+ -- instruction stream into basic blocks again. Also, we may extract
+ -- LDATAs here too (if they are implemented by AArch64 again - See
+ -- PPC how to do that.)
let
(top,other_blocks,statics) = foldrOL mkBlocks ([],[],[]) instrs
@@ -174,8 +175,6 @@ mkBlocks :: Instr
-> ([Instr], [GenBasicBlock Instr], [GenCmmDecl RawCmmStatics h g])
mkBlocks (NEWBLOCK id) (instrs,blocks,statics)
= ([], BasicBlock id instrs : blocks, statics)
-mkBlocks (LDATA sec dat) (instrs,blocks,statics)
- = (instrs, blocks, CmmData sec dat:statics)
mkBlocks instr (instrs,blocks,statics)
= (instr:instrs, blocks, statics)
-- -----------------------------------------------------------------------------
=====================================
compiler/GHC/CmmToAsm/AArch64/Instr.hs
=====================================
@@ -432,7 +432,6 @@ isMetaInstr instr
COMMENT{} -> True
MULTILINE_COMMENT{} -> True
LOCATION{} -> True
- LDATA{} -> True
NEWBLOCK{} -> True
DELTA{} -> True
PUSH_STACK_FRAME -> True
@@ -535,11 +534,6 @@ data Instr
-- location pseudo-op (file, line, col, name)
| LOCATION Int Int Int String
- -- some static data spat out during code
- -- generation. Will be extracted before
- -- pretty-printing.
- | LDATA Section RawCmmStatics
-
-- start a new basic block. Useful during
-- codegen, removed later. Preceding
-- instruction should be a jump, as per the
@@ -672,7 +666,6 @@ instrCon i =
MULTILINE_COMMENT{} -> "COMMENT"
ANN{} -> "ANN"
LOCATION{} -> "LOCATION"
- LDATA{} -> "LDATA"
NEWBLOCK{} -> "NEWBLOCK"
DELTA{} -> "DELTA"
SXTB{} -> "SXTB"
=====================================
compiler/GHC/CmmToAsm/AArch64/Ppr.hs
=====================================
@@ -357,7 +357,6 @@ pprInstr platform instr = case instr of
-- in the final instruction stream. But we still want to be able to
-- print it for debugging purposes.
line (text "BLOCK " <> pprAsmLabel platform (blockLbl blockid))
- LDATA _ _ -> panic "pprInstr: LDATA"
-- Pseudo Instructions -------------------------------------------------------
=====================================
compiler/GHC/Parser.y
=====================================
@@ -2259,9 +2259,9 @@ tyop :: { (LocatedN RdrName, PromotionFlag) }
; return (op, IsPromoted) } }
atype :: { LHsType GhcPs }
- : ntgtycon {% acsa (\cs -> sL1a $1 (HsTyVar (EpAnn (glR $1) [] cs) NotPromoted $1)) } -- Not including unit tuples
+ : ntgtycon {% acsA (\cs -> sL1 $1 (HsTyVar (EpAnn (glR $1) [] cs) NotPromoted $1)) } -- Not including unit tuples
-- See Note [%shift: atype -> tyvar]
- | tyvar %shift {% acsa (\cs -> sL1a $1 (HsTyVar (EpAnn (glR $1) [] cs) NotPromoted $1)) } -- (See Note [Unit tuples])
+ | tyvar %shift {% acsA (\cs -> sL1 $1 (HsTyVar (EpAnn (glR $1) [] cs) NotPromoted $1)) } -- (See Note [Unit tuples])
| '*' {% do { warnStarIsType (getLoc $1)
; return $ sL1a $1 (HsStarTy noExtField (isUnicode $1)) } }
@@ -2308,7 +2308,7 @@ atype :: { LHsType GhcPs }
-- Type variables are never exported, so `M.tyvar` will be rejected by the renamer.
-- We let it pass the parser because the renamer can generate a better error message.
| QVARID {% let qname = mkQual tvName (getQVARID $1)
- in acsa (\cs -> sL1a $1 (HsTyVar (EpAnn (glEE $1 $>) [] cs) NotPromoted (sL1n $1 $ qname)))}
+ in acsA (\cs -> sL1 $1 (HsTyVar (EpAnn (glEE $1 $>) [] cs) NotPromoted (sL1n $1 $ qname)))}
-- An inst_type is what occurs in the head of an instance decl
-- e.g. (Foo a, Gaz b) => Wibble a b
@@ -2945,9 +2945,10 @@ aexp1 :: { ECP }
-- See Note [Whitespace-sensitive operator parsing] in GHC.Parser.Lexer
| aexp1 TIGHT_INFIX_PROJ field
{% runPV (unECP $1) >>= \ $1 ->
- fmap ecpFromExp $ acsa (\cs ->
+ fmap ecpFromExp $ acsA (\cs ->
let fl = sLLa $2 $> (DotFieldOcc ((EpAnn (glR $2) (AnnFieldLabel (Just $ glAA $2)) emptyComments)) $3) in
- mkRdrGetField (noAnnSrcSpan $ comb2 $1 $>) $1 fl (EpAnn (glEE $1 $>) NoEpAnns cs)) }
+ sLL $1 $> $ mkRdrGetField $1 fl (EpAnn (glEE $1 $>) NoEpAnns cs)) }
+
| aexp2 { $1 }
@@ -3473,7 +3474,7 @@ fbind :: { forall b. DisambECP b => PV (Fbind b) }
-- f (R { x = show -> s }) = ...
| qvar { placeHolderPunRhs >>= \rhs ->
- fmap Left $ acsa (\cs -> sL1a $1 $ HsFieldBind (EpAnn (glR $1) [] cs) (sL1a $1 $ mkFieldOcc $1) rhs True) }
+ fmap Left $ acsA (\cs -> sL1 $1 $ HsFieldBind (EpAnn (glR $1) [] cs) (sL1a $1 $ mkFieldOcc $1) rhs True) }
-- In the punning case, use a place-holder
-- The renamer fills in the final value
@@ -4328,12 +4329,6 @@ glAA = srcSpan2e . getHasLoc
n2l :: LocatedN a -> LocatedA a
n2l (L la a) = L (l2l la) a
-acs :: MonadP m => (EpAnnComments -> Located a) -> m (Located a)
-acs a = do
- let (L l _) = a emptyComments
- cs <- getCommentsFor l
- return (a cs)
-
-- Called at the very end to pick up the EOF position, as well as any comments not allocated yet.
acsFinal :: (EpAnnComments -> Maybe (RealSrcSpan, RealSrcSpan) -> Located a) -> P (Located a)
acsFinal a = do
@@ -4346,17 +4341,17 @@ acsFinal a = do
Strict.Just (pos `Strict.And` gap) -> Just (pos,gap)
return (a (cs Semi.<> csf) ce)
-acsa :: MonadP m => (EpAnnComments -> LocatedAn t a) -> m (LocatedAn t a)
-acsa a = do
+acs :: (HasLoc t, MonadP m) => (EpAnnComments -> GenLocated t a) -> m (GenLocated t a)
+acs a = do
let (L l _) = a emptyComments
cs <- getCommentsFor (locA l)
return (a cs)
-acsA :: MonadP m => (EpAnnComments -> Located a) -> m (LocatedAn t a)
+acsA :: (HasLoc t, HasAnnotation t, MonadP m) => (EpAnnComments -> Located a) -> m (GenLocated t a)
acsA a = reLoc <$> acs a
acsExpr :: (EpAnnComments -> LHsExpr GhcPs) -> P ECP
-acsExpr a = do { expr :: (LHsExpr GhcPs) <- runPV $ acsa a
+acsExpr a = do { expr :: (LHsExpr GhcPs) <- runPV $ acs a
; return (ecpFromExp $ expr) }
amsA :: MonadP m => LocatedA a -> [TrailingAnn] -> m (LocatedA a)
=====================================
compiler/GHC/Parser/PostProcess.hs
=====================================
@@ -3230,10 +3230,10 @@ starSym False = fsLit "*"
-----------------------------------------
-- Bits and pieces for RecordDotSyntax.
-mkRdrGetField :: SrcSpanAnnA -> LHsExpr GhcPs -> LocatedAn NoEpAnns (DotFieldOcc GhcPs)
- -> EpAnnCO -> LHsExpr GhcPs
-mkRdrGetField loc arg field anns =
- L loc HsGetField {
+mkRdrGetField :: LHsExpr GhcPs -> LocatedAn NoEpAnns (DotFieldOcc GhcPs)
+ -> EpAnnCO -> HsExpr GhcPs
+mkRdrGetField arg field anns =
+ HsGetField {
gf_ext = anns
, gf_expr = arg
, gf_field = field
=====================================
compiler/GHC/Tc/Errors/Ppr.hs
=====================================
@@ -999,6 +999,12 @@ instance Diagnostic TcRnMessage where
-- Note [Swizzling the tyvars before generaliseTcTyCon]
= vcat [ quotes (ppr n1) <+> text "bound at" <+> ppr (getSrcLoc n1)
, quotes (ppr n2) <+> text "bound at" <+> ppr (getSrcLoc n2) ]
+
+ TcRnDisconnectedTyVar n
+ -> mkSimpleDecorated $
+ hang (text "Scoped type variable only appears non-injectively in declaration header:")
+ 2 (quotes (ppr n) <+> text "bound at" <+> ppr (getSrcLoc n))
+
TcRnInvalidReturnKind data_sort allowed_kind kind _suggested_ext
-> mkSimpleDecorated $
sep [ ppDataSort data_sort <+>
@@ -2201,6 +2207,8 @@ instance Diagnostic TcRnMessage where
-> ErrorWithoutFlag
TcRnDifferentNamesForTyVar{}
-> ErrorWithoutFlag
+ TcRnDisconnectedTyVar{}
+ -> ErrorWithoutFlag
TcRnInvalidReturnKind{}
-> ErrorWithoutFlag
TcRnClassKindNotConstraint{}
@@ -2842,6 +2850,8 @@ instance Diagnostic TcRnMessage where
-> noHints
TcRnDifferentNamesForTyVar{}
-> noHints
+ TcRnDisconnectedTyVar n
+ -> [SuggestBindTyVarExplicitly n]
TcRnInvalidReturnKind _ _ _ mb_suggest_unlifted_ext
-> case mb_suggest_unlifted_ext of
Nothing -> noHints
=====================================
compiler/GHC/Tc/Errors/Types.hs
=====================================
@@ -2276,6 +2276,13 @@ data TcRnMessage where
-}
TcRnDifferentNamesForTyVar :: !Name -> !Name -> TcRnMessage
+ {-| TcRnDisconnectedTyVar is an error for a data declaration that has a kind signature,
+ where the implicitly-bound type type variables can't be matched up unambiguously
+ with the ones from the signature. See Note [Disconnected type variables] in
+ GHC.Tc.Gen.HsType.
+ -}
+ TcRnDisconnectedTyVar :: !Name -> TcRnMessage
+
{-| TcRnInvalidReturnKind is an error for a data declaration that has a kind signature
with an invalid result kind.
=====================================
compiler/GHC/Tc/Gen/HsType.hs
=====================================
@@ -2608,6 +2608,7 @@ kcCheckDeclHeader_sig sig_kind name flav
; implicit_tvs <- liftZonkM $ zonkTcTyVarsToTcTyVars implicit_tvs
; let implicit_prs = implicit_nms `zip` implicit_tvs
; checkForDuplicateScopedTyVars implicit_prs
+ ; checkForDisconnectedScopedTyVars all_tcbs implicit_prs
-- Swizzle the Names so that the TyCon uses the user-declared implicit names
-- E.g type T :: k -> Type
@@ -2621,11 +2622,11 @@ kcCheckDeclHeader_sig sig_kind name flav
all_tv_prs = mkTyVarNamePairs (binderVars swizzled_tcbs)
; traceTc "kcCheckDeclHeader swizzle" $ vcat
- [ text "implicit_prs = " <+> ppr implicit_prs
- , text "implicit_nms = " <+> ppr implicit_nms
- , text "hs_tv_bndrs = " <+> ppr hs_tv_bndrs
- , text "all_tcbs = " <+> pprTyVars (binderVars all_tcbs)
- , text "swizzled_tcbs = " <+> pprTyVars (binderVars swizzled_tcbs)
+ [ text "sig_tcbs =" <+> ppr sig_tcbs
+ , text "implicit_prs =" <+> ppr implicit_prs
+ , text "hs_tv_bndrs =" <+> ppr hs_tv_bndrs
+ , text "all_tcbs =" <+> pprTyVars (binderVars all_tcbs)
+ , text "swizzled_tcbs =" <+> pprTyVars (binderVars swizzled_tcbs)
, text "tycon_res_kind =" <+> ppr tycon_res_kind
, text "swizzled_kind =" <+> ppr swizzled_kind ]
@@ -2963,6 +2964,22 @@ expectedKindInCtxt _ = OpenKind
* *
********************************************************************* -}
+checkForDisconnectedScopedTyVars :: [TcTyConBinder] -> [(Name,TcTyVar)] -> TcM ()
+-- See Note [Disconnected type variables]
+-- `scoped_prs` is the mapping gotten by unifying
+-- - the standalone kind signature for T, with
+-- - the header of the type/class declaration for T
+checkForDisconnectedScopedTyVars sig_tcbs scoped_prs
+ = mapM_ report_disconnected (filterOut ok scoped_prs)
+ where
+ sig_tvs = mkVarSet (binderVars sig_tcbs)
+ ok (_, tc_tv) = tc_tv `elemVarSet` sig_tvs
+
+ report_disconnected :: (Name,TcTyVar) -> TcM ()
+ report_disconnected (nm, _)
+ = setSrcSpan (getSrcSpan nm) $
+ addErrTc $ TcRnDisconnectedTyVar nm
+
checkForDuplicateScopedTyVars :: [(Name,TcTyVar)] -> TcM ()
-- Check for duplicates
-- E.g. data SameKind (a::k) (b::k)
@@ -2993,6 +3010,45 @@ checkForDuplicateScopedTyVars scoped_prs
addErrTc $ TcRnDifferentNamesForTyVar n1 n2
+{- Note [Disconnected type variables]
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+This note applies when kind-checking the header of a type/class decl that has
+a separate, standalone kind signature. See #24083.
+
+Consider:
+ type S a = Type
+
+ type C :: forall k. S k -> Constraint
+ class C (a :: S kk) where
+ op :: ...kk...
+
+Note that the class has a separate kind signature, so the elaborated decl should
+look like
+ class C @kk (a :: S kk) where ...
+
+But how can we "connect up" the scoped variable `kk` with the skolem kind from the
+standalone kind signature for `C`? In general we do this by unifying the two.
+For example
+ type T k = (k,Type)
+ type W :: forall k. T k -> Type
+ data W (a :: (x,Type)) = ..blah blah..
+
+When we encounter (a :: (x,Type)) we unify the kind (x,Type) with the kind (T k)
+from the standalone kind signature. Of course, unification looks through synonyms
+so we end up with the mapping [x :-> k] that connects the scoped type variable `x`
+with the kind from the signature.
+
+But in our earlier example this unification is ineffective -- because `S` is a
+phantom synonym that just discards its argument. So our plan is this:
+
+ if matchUpSigWithDecl fails to connect `kk with `k`, by unification,
+ we give up and complain about a "disconnected" type variable.
+
+See #24083 for dicussion of alternatives, none satisfactory. Also the fix is
+easy: just add an explicit `@kk` parameter to the declaration, to bind `kk`
+explicitly, rather than binding it implicitly via unification.
+-}
+
{- *********************************************************************
* *
Bringing type variables into scope
=====================================
compiler/GHC/Types/Error/Codes.hs
=====================================
@@ -477,6 +477,7 @@ type family GhcDiagnosticCode c = n | n -> c where
GhcDiagnosticCode "TcRnInvalidVisibleKindArgument" = 20967
GhcDiagnosticCode "TcRnTooManyBinders" = 05989
GhcDiagnosticCode "TcRnDifferentNamesForTyVar" = 17370
+ GhcDiagnosticCode "TcRnDisconnectedTyVar" = 59738
GhcDiagnosticCode "TcRnInvalidReturnKind" = 55233
GhcDiagnosticCode "TcRnClassKindNotConstraint" = 80768
GhcDiagnosticCode "TcRnMatchesHaveDiffNumArgs" = 91938
=====================================
compiler/GHC/Types/Hint.hs
=====================================
@@ -480,6 +480,10 @@ data GhcHint
{-| Suggest explicitly quantifying a type variable instead of relying on implicit quantification -}
| SuggestExplicitQuantification RdrName
+
+ {-| Suggest binding explicitly; e.g data T @k (a :: F k) = .... -}
+ | SuggestBindTyVarExplicitly Name
+
-- | An 'InstantiationSuggestion' for a '.hsig' file. This is generated
-- by GHC in case of a 'DriverUnexpectedSignature' and suggests a way
-- to instantiate a particular signature, where the first argument is
=====================================
compiler/GHC/Types/Hint/Ppr.hs
=====================================
@@ -271,6 +271,9 @@ instance Outputable GhcHint where
SuggestExplicitQuantification tv
-> hsep [ text "Use an explicit", quotes (text "forall")
, text "to quantify over", quotes (ppr tv) ]
+ SuggestBindTyVarExplicitly tv
+ -> text "bind" <+> quotes (ppr tv)
+ <+> text "explicitly with" <+> quotes (char '@' <> ppr tv)
perhapsAsPat :: SDoc
perhapsAsPat = text "Perhaps you meant an as-pattern, which must not be surrounded by whitespace"
=====================================
hadrian/src/Builder.hs
=====================================
@@ -333,8 +333,8 @@ instance H.Builder Builder where
GenApply -> captureStdout
GenPrimopCode -> do
- stdin <- readFile' input
- Stdout stdout <- cmd' (Stdin stdin) [path] buildArgs buildOptions
+ need [input]
+ Stdout stdout <- cmd' (FileStdin input) [path] buildArgs buildOptions
-- see Note [Capture stdout as a ByteString]
writeFileChangedBS output stdout
=====================================
rts/configure.ac
=====================================
@@ -408,7 +408,7 @@ dnl See Note [Undefined symbols in the RTS]
[
symbolExtraDefs=''
-if [[ "$CABAL_FLAG_find_ptr" = 1 ]]; then
+if [ "$CABAL_FLAG_find_ptr" = 1 ]; then
symbolExtraDefs+=' -DFIND_PTR'
fi
@@ -418,7 +418,7 @@ cat $srcdir/external-symbols.list.in \
> external-symbols.list \
|| exit 1
-if [[ "$CABAL_FLAG_leading_underscore" = 1 ]]; then
+if [ "$CABAL_FLAG_leading_underscore" = 1 ]; then
sedExpr='s/^(.*)$/ "-Wl,-u,_\1"/'
else
sedExpr='s/^(.*)$/ "-Wl,-u,\1"/'
=====================================
testsuite/tests/polykinds/T24083.hs
=====================================
@@ -0,0 +1,14 @@
+{-# LANGUAGE StandaloneKindSignatures #-}
+{-# LANGUAGE TypeFamilies #-}
+
+module T24083 where
+import Data.Kind (Constraint, Type)
+
+data family Pi t :: Type
+
+type FunctionSymbol :: Type -> Type
+type FunctionSymbol t = Type
+
+type IsSum :: forall s. FunctionSymbol s -> Constraint
+class IsSum (sumf :: FunctionSymbol t) where
+ sumConNames :: Pi t
=====================================
testsuite/tests/polykinds/T24083.stderr
=====================================
@@ -0,0 +1,6 @@
+
+T24083.hs:13:14: error: [GHC-59738]
+ • Scoped type variable only appears non-injectively in declaration header:
+ ‘t’ bound at T24083.hs:13:14
+ • In the class declaration for ‘IsSum’
+ Suggested fix: bind ‘t’ explicitly with ‘@t’
=====================================
testsuite/tests/polykinds/all.T
=====================================
@@ -243,3 +243,4 @@ test('T22379b', normal, compile, [''])
test('T22743', normal, compile_fail, [''])
test('T22742', normal, compile_fail, [''])
test('T22793', normal, compile_fail, [''])
+test('T24083', normal, compile_fail, [''])
=====================================
utils/genprimopcode/Main.hs
=====================================
@@ -13,6 +13,7 @@ import Data.Char
import Data.List (union, intersperse, intercalate, nub)
import Data.Maybe ( catMaybes )
import System.Environment ( getArgs )
+import System.IO ( hSetEncoding, stdin, stdout, utf8 )
vecOptions :: Entry -> [(String,String,Int)]
vecOptions i =
@@ -116,7 +117,9 @@ main = getArgs >>= \args ->
++ unlines (map (" "++) known_args)
)
else
- do s <- getContents
+ do hSetEncoding stdin utf8 -- The input file is in UTF-8. Set the encoding explicitly.
+ hSetEncoding stdout utf8
+ s <- getContents
case parse s of
Left err -> error ("parse error at " ++ (show err))
Right p_o_specs@(Info _ _)
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/b00fd69815e01806fc591203a2ac25733ee1dc71...9a9a3f64665426953925849dc26b8edbaef92fc8
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/b00fd69815e01806fc591203a2ac25733ee1dc71...9a9a3f64665426953925849dc26b8edbaef92fc8
You're receiving this email because of your account on gitlab.haskell.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20231111/eb7b030f/attachment-0001.html>
More information about the ghc-commits
mailing list