[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 11 commits: users-guide: Clarify language extension documentation

[Marge Bot (@marge-bot)]

Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC


Commits:
73102daf by Ben Gamari at 2024-04-12T05:25:55-04:00
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.

- - - - -
8240c69c by Zubin Duggal at 2024-04-12T05:25:56-04:00
driver: Make `checkHomeUnitsClosed` faster

The implementation of `checkHomeUnitsClosed` was traversing every single path
in the unit dependency graph - this grows exponentially and quickly grows to be
infeasible on larger unit dependency graphs.

Instead we replace this with a faster implementation which follows from the
specificiation of the closure property - there is a closure error if there are
units which are both are both (transitively) depended upon by home units and
(transitively) depend on home units, but are not themselves home units.

To compute the set of units required for closure, we first compute the closure
of the unit dependency graph, then the transpose of this closure, and find all
units that are reachable from the home units in the transpose of the closure.

- - - - -
988ba1da by Andreas Klebinger at 2024-04-12T05:25:57-04:00
RTS: Emit warning when -M < -H

Fixes #24487

- - - - -
b2374c09 by Ben Gamari at 2024-04-12T05:25:57-04:00
testsuite: Add broken test for CApiFFI with -fprefer-bytecode

See #24634.

- - - - -
b85a0f6e by Ben Gamari at 2024-04-12T05:25:58-04:00
base: Deprecate GHC.Pack

As proposed in #21461.

Closes #21540.

- - - - -
431db3aa by Ben Gamari at 2024-04-12T05:25:58-04:00
ghc-internal: Fix mentions of ghc-internal in deprecation warnings

Closes #24609.

- - - - -
0658d603 by Ben Gamari at 2024-04-12T05:25:59-04:00
rts: Implement set_initial_registers for AArch64

Fixes #23680.

- - - - -
88634099 by Ben Gamari at 2024-04-12T05:25:59-04:00
ghcup-metadata: Use Debian 9 binaries on Ubuntu 16, 17

Closes #24646.

- - - - -
ac4f917a by Ben Gamari at 2024-04-12T05:26:00-04:00
Bump unix submodule to 2.8.5.1

Closes #24640.

- - - - -
93b31c58 by Finley McIlwaine at 2024-04-12T05:26:00-04:00
Correct default -funfolding-use-threshold in docs

- - - - -
c9811d9e by Oleg Grenrus at 2024-04-12T05:26:01-04:00
FastString is a __Modified__ UTF-8

- - - - -


30 changed files:

- .gitlab/rel_eng/mk-ghcup-metadata/mk_ghcup_metadata.py
- compiler/GHC/Data/FastString.hs
- compiler/GHC/Driver/Make.hs
- docs/users_guide/expected-undocumented-flags.txt
- docs/users_guide/exts/applicative_do.rst
- docs/users_guide/exts/arrows.rst
- docs/users_guide/exts/binary_literals.rst
- docs/users_guide/exts/constrained_class_methods.rst
- docs/users_guide/exts/constraint_kind.rst
- docs/users_guide/exts/data_kinds.rst
- docs/users_guide/exts/default_signatures.rst
- docs/users_guide/exts/derive_any_class.rst
- docs/users_guide/exts/deriving_extra.rst
- docs/users_guide/exts/deriving_strategies.rst
- docs/users_guide/exts/deriving_via.rst
- docs/users_guide/exts/disambiguate_record_fields.rst
- docs/users_guide/exts/empty_case.rst
- docs/users_guide/exts/existential_quantification.rst
- docs/users_guide/exts/explicit_forall.rst
- docs/users_guide/exts/explicit_namespaces.rst
- docs/users_guide/exts/extended_literals.rst
- docs/users_guide/exts/ffi.rst
- docs/users_guide/exts/field_selectors.rst
- docs/users_guide/exts/functional_dependencies.rst
- docs/users_guide/exts/gadt.rst
- docs/users_guide/exts/gadt_syntax.rst
- docs/users_guide/exts/generalised_list_comprehensions.rst
- docs/users_guide/exts/generics.rst
- docs/users_guide/exts/hex_float_literals.rst
- docs/users_guide/exts/implicit_parameters.rst


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/f654fcd7505749929eaa5d7c56c6abd6deddb9b3...c9811d9e02c922046b6c7395aa643109f0ca2ebc

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/f654fcd7505749929eaa5d7c56c6abd6deddb9b3...c9811d9e02c922046b6c7395aa643109f0ca2ebc
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/20240412/45a25ea8/attachment.html>