<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en" style='--code-editor-font: var(--default-mono-font, "Menlo"), DejaVu Sans Mono, Liberation Mono, Consolas, Ubuntu Mono, Courier New, andale mono, lucida console, monospace;'>
<head>
<meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">
<title>
GitLab
</title>
<style data-premailer="ignore" type="text/css">
a { color: #1068bf; }
</style>
<style>img {
max-width: 100%; height: auto;
}
body {
font-size: 0.875rem;
}
body {
-webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px;
}
body {
font-family: var(--default-regular-font, -apple-system),BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji"; font-size: inherit;
}
</style>
</head>
<body style='font-size: inherit; -webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px; font-family: var(--default-regular-font, -apple-system),BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji";'>
<div class="content">
<h3 style="margin-top: 20px; margin-bottom: 10px;">
Marge Bot pushed to branch wip/marge_bot_batch_merge_job at <a href="https://gitlab.haskell.org/ghc/ghc">Glasgow Haskell Compiler / GHC</a>
</h3>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
Commits:
</h4>
<ul>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/6d5bcc20a35d05d6442d6b0930bb28632b8be839">6d5bcc20</a></strong>
<div>
<span> by Haskell-mouse </span> <i> at 2023-04-03T16:20:59-04:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.875rem; color: #333238; position: relative; font-family: var(--default-mono-font, "Menlo"),"DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Convert diagnostics in GHC.Rename.HsType to proper TcRnMessage
I've turned all occurrences of TcRnUnknownMessage in GHC.Rename.HsType
module into a proper TcRnMessage.
Instead, these TcRnMessage messages were introduced:
TcRnDataKindsError
TcRnUnusedQuantifiedTypeVar
TcRnIllegalKindSignature
TcRnUnexpectedPatSigType
TcRnSectionPrecedenceError
TcRnPrecedenceParsingError
TcRnIllegalKind
TcRnNegativeNumTypeLiteral
TcRnUnexpectedKindVar
TcRnBindMultipleVariables
TcRnBindVarAlreadyInScope
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/841d10c29ded1fe856ca127ed0fb4f42a0d6d9df">841d10c2</a></strong>
<div>
<span> by Krzysztof Gogolewski </span> <i> at 2023-04-03T16:20:59-04:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.875rem; color: #333238; position: relative; font-family: var(--default-mono-font, "Menlo"),"DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Fixes around unsafeCoerce#
1. `unsafeCoerce#` was documented in `GHC.Prim`. But since the overhaul
in 74ad75e87317, `unsafeCoerce#` is no longer defined there.
I've combined the documentation in `GHC.Prim` with the `Unsafe.Coerce` module.
2. The documentation of `unsafeCoerce#` stated that you should not
cast a function to an algebraic type, even if you later cast it back
before applying it. But ghci was doing that type of cast, as can be seen
with 'ghci -ddump-ds' and typing 'x = not'. I've changed it to use Any
following the documentation.
</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
30 changed files:
</h4>
<ul>
<li class="file-stats">
<a href="#451725cc4e5d443a3b7c2adcdf224840f953b7e2">
compiler/GHC/Builtin/primops.txt.pp
</a>
</li>
<li class="file-stats">
<a href="#018be522bc4813b147a1525e4f96a7a493207d96">
compiler/GHC/Hs/Type.hs
</a>
</li>
<li class="file-stats">
<a href="#892acbb198a9095c917740d3c1297b56df4e3b7e">
compiler/GHC/Rename/HsType.hs
</a>
</li>
<li class="file-stats">
<a href="#1dd9c7a6bbc222c976a6ec1c4b772232ae60f7e5">
compiler/GHC/Tc/Errors/Ppr.hs
</a>
</li>
<li class="file-stats">
<a href="#cdba811872892f235fe7059df1a6c538fba60816">
compiler/GHC/Tc/Errors/Types.hs
</a>
</li>
<li class="file-stats">
<a href="#e65390fa5a32c453a81a1c9a3e1c4464d155ca4a">
compiler/GHC/Tc/Module.hs
</a>
</li>
<li class="file-stats">
<a href="#e2c828ee9e003df518a07b05beaa6971e5c62eb0">
compiler/GHC/Types/Error/Codes.hs
</a>
</li>
<li class="file-stats">
<a href="#98b46afb652ad9b66a276d3c312d1262c3838642">
libraries/base/Unsafe/Coerce.hs
</a>
</li>
<li class="file-stats">
<a href="#596259dd3ae0f37a7343d983ab2129fd1a44aae8">
testsuite/tests/ghci/should_run/T16096.stdout
</a>
</li>
<li class="file-stats">
<a href="#bb1f2a79d77ac4ddddf888c8cc05017ec0936507">
testsuite/tests/ghci/should_run/T21052.stdout
</a>
</li>
<li class="file-stats">
<a href="#2d0d7829849d5209f687049f3882a65e69bd5c04">
testsuite/tests/linear/should_fail/T18888.stderr
</a>
</li>
<li class="file-stats">
<a href="#574768339d214e91c93f4bbd51e204a684a2aa58">
testsuite/tests/module/mod61.stderr
</a>
</li>
<li class="file-stats">
<a href="#ac26994c0a66aa479f97cb711c80ccbd1da33e0d">
testsuite/tests/overloadedrecflds/should_fail/T13132_duplicaterecflds.stderr
</a>
</li>
<li class="file-stats">
<a href="#e4f4b05a48a4458f27801e42005bd0a51e2efbbd">
testsuite/tests/parser/should_fail/readFail016.stderr
</a>
</li>
<li class="file-stats">
<a href="#032d01999057e098e860d28a96563be24eae344b">
testsuite/tests/parser/should_fail/readFail023.stderr
</a>
</li>
<li class="file-stats">
<a href="#4baf7fdb21caad56834e904a2238eb3bdb3bdffb">
testsuite/tests/polykinds/BadKindVar.stderr
</a>
</li>
<li class="file-stats">
<a href="#044e549294733ef30efa13ad8f66e333af0cac12">
testsuite/tests/polykinds/T14710.stderr
</a>
</li>
<li class="file-stats">
<a href="#43159b3bfbd1b3e556d6f0ca41319f55f6bd50d4">
testsuite/tests/polykinds/T16762b.stderr
</a>
</li>
<li class="file-stats">
<a href="#ae3b292b58927d62f0645ef606389f5333694163">
testsuite/tests/polykinds/T7151.stderr
</a>
</li>
<li class="file-stats">
<a href="#b15fb85962935af1b7fb83df87f475d0a063b675">
testsuite/tests/rename/should_compile/ExplicitForAllRules1.stderr
</a>
</li>
<li class="file-stats">
<a href="#25d3d7ef3ba6293539ca15768eed2fa454a2f167">
testsuite/tests/rename/should_compile/T5331.stderr
</a>
</li>
<li class="file-stats">
<a href="#7db403270e04fa32303a699a40203b3c0e8d84ea">
testsuite/tests/rename/should_fail/T11663.stderr
</a>
</li>
<li class="file-stats">
<a href="#9391c985d073c3d987e28d95753b95045d3f495f">
testsuite/tests/rename/should_fail/rnfail017.stderr
</a>
</li>
<li class="file-stats">
<a href="#b5bd66f9f7a81ee158440f8daa87369db8827ecb">
testsuite/tests/rename/should_fail/rnfail019.stderr
</a>
</li>
<li class="file-stats">
<a href="#299701db14e14f3870e04b9eb012c2654b4c84e6">
testsuite/tests/saks/should_fail/T16722.stderr
</a>
</li>
<li class="file-stats">
<a href="#468d78b05214474f3c6166a2d9bd13ef890f9073">
testsuite/tests/th/T8412.stderr
</a>
</li>
<li class="file-stats">
<a href="#14e616129c4681ee919af1f3e97499b64c2a65ba">
testsuite/tests/th/TH_Promoted1Tuple.stderr
</a>
</li>
<li class="file-stats">
<a href="#b33d16d6ca17456bf4410419e626593ac6cb34e5">
testsuite/tests/th/TH_unresolvedInfix2.stderr
</a>
</li>
<li class="file-stats">
<a href="#31e482b0eb7a1f0fbc6d34d69e5b56375a7b014c">
testsuite/tests/typecheck/should_fail/T18252a.stderr
</a>
</li>
<li class="file-stats">
<a href="#c3df28c947e4b4e3fd620018163b784979a35853">
testsuite/tests/typecheck/should_fail/T8306.stderr
</a>
</li>
</ul>
<h5 style="margin-top: 10px; margin-bottom: 10px; font-size: 0.875rem;">
The diff was not included because it is too large.
</h5>
</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #737278;">
—
<br>
<a href="https://gitlab.haskell.org/ghc/ghc/-/compare/ae2b002e357b7db02c82705508a3b99019a9b763...841d10c29ded1fe856ca127ed0fb4f42a0d6d9df">View it on GitLab</a>.
<br>
You're receiving this email because of your account on <a target="_blank" rel="noopener noreferrer" href="https://gitlab.haskell.org">gitlab.haskell.org</a>. <a href="https://gitlab.haskell.org/-/profile/notifications" target="_blank" rel="noopener noreferrer" class="mng-notif-link">Manage all notifications</a> · <a href="https://gitlab.haskell.org/help" target="_blank" rel="noopener noreferrer" class="help-link">Help</a>
</p>
</div>
</body>
</html>