<!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: GitLab Mono, JetBrains Mono, 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: "GitLab Sans", -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: "GitLab Sans", -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;">
Ben Gamari pushed to branch wip/T23895 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/49c9b318cfcbb491c75c687738e7027cef311737">49c9b318</a></strong>
<div>
<span> by Ben Gamari </span> <i> at 2023-09-13T15:30:40-04:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "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;'>users-guide: Clarify language extension documentation
Over the years the users guide's language extension documentation has
gone through quite a few refactorings. In the process some of the
descriptions have been rendered non-sensical. For instance, the
description of `NoImplicitPrelude` actually describes the semantics of
`ImplicitPrelude`.
To fix this we:
* ensure that all extensions are named in their "positive" sense (e.g.
`ImplicitPrelude` rather than `NoImplicitPrelude`).
* rework the documentation to avoid flag-oriented wording
like "enable" and "disable"
* ensure that the polarity of the documentation is consistent with
reality.
Fixes #23895.
</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
30 changed files:
</h4>
<ul>
<li class="file-stats">
<a href="#0274be2fdc76287a85f23d77bd18b78ab482abea">
docs/users_guide/exts/applicative_do.rst
</a>
</li>
<li class="file-stats">
<a href="#403417b781f54ce180c4343d1cd00fb0ac612cb5">
docs/users_guide/exts/arrows.rst
</a>
</li>
<li class="file-stats">
<a href="#6888432f1c379175cdfed002dd45f0e733be6d93">
docs/users_guide/exts/binary_literals.rst
</a>
</li>
<li class="file-stats">
<a href="#365dbffe23a6b69ca85584d0895d39c23360b792">
docs/users_guide/exts/constrained_class_methods.rst
</a>
</li>
<li class="file-stats">
<a href="#c4b380585d4ab911440499812eb27c1c99bd2a01">
docs/users_guide/exts/constraint_kind.rst
</a>
</li>
<li class="file-stats">
<a href="#acb4a75038c300e3a7e380e6baf0ae2be208862d">
docs/users_guide/exts/data_kinds.rst
</a>
</li>
<li class="file-stats">
<a href="#636b9f4db57c9155393ea03487a80d69ac7fa57d">
docs/users_guide/exts/default_signatures.rst
</a>
</li>
<li class="file-stats">
<a href="#4d0769735867ede75381d34afc6f32b8bf547592">
docs/users_guide/exts/derive_any_class.rst
</a>
</li>
<li class="file-stats">
<a href="#bdbe6161ac51a0072a62bb6ddfca5b31edfc51ff">
docs/users_guide/exts/deriving_extra.rst
</a>
</li>
<li class="file-stats">
<a href="#4fe52b7f53fedba494b2bf0442808d1d98627d73">
docs/users_guide/exts/deriving_via.rst
</a>
</li>
<li class="file-stats">
<a href="#40e82732581b01a6e40c31cd8e3ec1a8da4ee8bb">
docs/users_guide/exts/disambiguate_record_fields.rst
</a>
</li>
<li class="file-stats">
<a href="#a30bda6e85fb50de8a26e16eb19e500f557692db">
docs/users_guide/exts/empty_case.rst
</a>
</li>
<li class="file-stats">
<a href="#7ac989ce2970eedd8fbc550755c61f8fb2a48e91">
docs/users_guide/exts/existential_quantification.rst
</a>
</li>
<li class="file-stats">
<a href="#afd1105d8e32dc50acf9fc381b4433a3bcd009cf">
docs/users_guide/exts/explicit_forall.rst
</a>
</li>
<li class="file-stats">
<a href="#541099a80c36a6af9e33ab40a14cd9234829cab4">
docs/users_guide/exts/explicit_namespaces.rst
</a>
</li>
<li class="file-stats">
<a href="#17e6cda4931daace314de137025e29c38568f63c">
docs/users_guide/exts/extended_literals.rst
</a>
</li>
<li class="file-stats">
<a href="#f1fb2cbc6312f41f6aac14d2046c24ce0c5cbea2">
docs/users_guide/exts/ffi.rst
</a>
</li>
<li class="file-stats">
<a href="#ab011b45b5ad3b42d8b43588d02f16a9a4ffee32">
docs/users_guide/exts/functional_dependencies.rst
</a>
</li>
<li class="file-stats">
<a href="#b26dc8b26d87b9a5d86567622e7451c78658a035">
docs/users_guide/exts/gadt.rst
</a>
</li>
<li class="file-stats">
<a href="#0cc784483e34410e9b43b5cfc23ee304faba81d1">
docs/users_guide/exts/gadt_syntax.rst
</a>
</li>
<li class="file-stats">
<a href="#6c558b424537996e680b2f047e85f288f168530e">
docs/users_guide/exts/generalised_list_comprehensions.rst
</a>
</li>
<li class="file-stats">
<a href="#a01dac24e3b25eddfb105ffdc509fa6c43a5f57a">
docs/users_guide/exts/generics.rst
</a>
</li>
<li class="file-stats">
<a href="#436ddddb43a95fb1618efe6f5f5fd4dd5235985f">
docs/users_guide/exts/hex_float_literals.rst
</a>
</li>
<li class="file-stats">
<a href="#0fa22dce36a6e8aa09112ecb1e39212077c27ae8">
docs/users_guide/exts/implicit_parameters.rst
</a>
</li>
<li class="file-stats">
<a href="#2f959160a2038d2fab02953c14f17fc84766960c">
docs/users_guide/exts/import_qualified_post.rst
</a>
</li>
<li class="file-stats">
<a href="#0c5793f6dcb75a08fee0d064f8b19626ba778eb4">
docs/users_guide/exts/impredicative_types.rst
</a>
</li>
<li class="file-stats">
<a href="#ed75822e0b6142f196a6abeb623c7669d31b4711">
docs/users_guide/exts/instances.rst
</a>
</li>
<li class="file-stats">
<a href="#424e0a3495cd257902709b1c0eaffa019a8a45d8">
docs/users_guide/exts/kind_signatures.rst
</a>
</li>
<li class="file-stats">
<a href="#67a7e440f848e5233e24f587c2e02fde258d232a">
docs/users_guide/exts/lambda_case.rst
</a>
</li>
<li class="file-stats">
<a href="#ed3ded36f1b6196f4f2ebe4bda264b89e8cf9093">
docs/users_guide/exts/let_generalisation.rst
</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/-/commit/49c9b318cfcbb491c75c687738e7027cef311737">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>
<script type="application/ld+json">{"@context":"http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Commit","url":"https://gitlab.haskell.org/ghc/ghc/-/commit/49c9b318cfcbb491c75c687738e7027cef311737"}}</script>
</p>
</div>
</body>
</html>