Happily this also allows us to eliminate a special case for Deadlock
exceptions.

Implements [CLC #198](https://github.com/haskell/core-libraries-committee/issues/198).

Currently `ghc -M` fails to account for `.hs-boot` files correctly,
leading to issues with cross-package one-shot builds failing. This
currently manifests in `GHC.Exception` due to the boot file for
`GHC.Internal.Stack`. Work around this by adding an explicit `import`,
ensuring that `GHC.Internal.Stack` is built before `GHC.Exception`.

See #24436.

This was useful when debugging

Don't lookupIds unless we actually need them.

Previously this was only exposed from `ghc-internal` which violates our
agreement that users shall not rely on things exposed from that package.

Fixes #24479.

As expected, Haddock now does more work. Less expected is that some
other testcases actually get faster, presumably due to less interface
file loading. As well, the size_hello_artifact test regressed a bit when
debug information is enabled due to debug information for the new stub
symbols.

Metric Decrease:
    T12227
    T13056
Metric Increase:
    haddock.Cabal
    haddock.base
    MultiLayerModulesTH_OneShot
    size_hello_artifact

Really, these references should be via known-key names anyways. I have
fixed the proximate issue here but have opened #24472 to track the
additional needed refactoring.

Sadly there are still a few module reexports. However, at least we have
decoupled from the exports of `GHC.Internal.Base`.

This ensures that we do not use `base` stub modules as declarations'
homes when not appropriate.

These will be incrementally moved to the export sites in `base` where
possible.

Bumps haddock submodule due to testsuite output changes.

Here we extend the parser and AST to preserve docstrings following
export items. We then extend Haddock to parse `@since` annotations in
such docstrings, allowing changes in export structure to be properly
documented.

Jade authored 1 year ago and Marge Bot committed 1 year ago

Fixes: #24476

Ben Gamari authored 1 year ago and Marge Bot committed 1 year ago

Here we extend the parser and AST to preserve docstrings following
export items. We then extend Haddock to parse `@since` annotations in
such docstrings, allowing changes in export structure to be properly
documented.

Bumps haddock submodule.

See https://github.com/ghc-proposals/ghc-proposals/pull/613

. Also
fixes #24343 and improves the documentation of language editions.

Co-authored-by: Joachim Breitner <mail@joachim-breitner.de>

Ben Gamari authored 1 year ago and Marge Bot committed 1 year ago

This is just a minor cleanup I found while reviewing the implementation.

Andreas Klebinger authored 1 year ago and Marge Bot committed 1 year ago

Fixes #24445

Cheng Shao authored 1 year ago and Marge Bot committed 1 year ago

This commit removes the unused HAVE_C11_ATOMICS macro. We used to have
a few places that have fallback paths when HAVE_C11_ATOMICS is not
defined, but that is completely redundant, since the
FP_CC_SUPPORTS__ATOMICS configure check will fail when the C compiler
doesn't support C11 style atomics. There are also many places (e.g. in
unreg backend, SMP.h, library cbits, etc) where we unconditionally use
C11 style atomics anyway which work in even CentOS 7 (gcc 4.8), the
oldest distro we test in our CI, so there's no value in keeping
HAVE_C11_ATOMICS.

Teo Camarasu authored 1 year ago and Marge Bot committed 1 year ago

This avoids segfaults when the mutator modifies closures as we examine
them.

Resolves #24393

Andrei Borzenkov authored 1 year ago and Marge Bot committed 1 year ago

Namespace specifiers were added to syntax of fixity signatures:
  - sigdecl ::= infix prec ops | ...
  + sigdecl ::= infix prec namespace_spec ops | ...

To preserve namespace during renaming MiniFixityEnv type
now has separate FastStringEnv fields for names that should be
on the term level and for name that should be on the type level.

makeMiniFixityEnv function was changed to fill MiniFixityEnv in the right way:
 - signatures without namespace specifiers fill both fields
 - signatures with 'data' specifier fill data field only
 - signatures with 'type' specifier fill type field only

Was added helper function lookupMiniFixityEnv that takes care about
looking for a name in an appropriate namespace.

Updates haddock submodule.

Metric Decrease:
    MultiLayerModulesTH_OneShot

Matthew Pickering authored 1 year ago and Marge Bot committed 1 year ago

Previously we were trying to use the FP_CC_SUPPORTS_TARGET with 4
arguments, when it only takes 3 arguments. Instead we need to use the
`FP_PROG_CC_LINKER_TARGET` function in order to set the linker flags.

Actually fixes #24414

Ben Gamari authored 1 year ago and Marge Bot committed 1 year ago

We must generate the hsc2hs wrapper at bindist installation time since
it must contain `--lflag` and `--cflag` arguments which depend upon the
installation path.

The solution here is to substitute these variables in the configure
script (see mk/hsc2hs.in). This is then copied over a dummy wrapper in
the install rules.

Fixes #24050.

Ben Gamari authored 1 year ago and Marge Bot committed 1 year ago

Otherwise make may not run the rule if file with the same name as the
rule happens to exist.

Cheng Shao authored 1 year ago and Marge Bot committed 1 year ago

See #24449 for details.

Cheng Shao authored 1 year ago and Marge Bot committed 1 year ago

The post-link.mjs script was incorrectly copied and installed as a
regular data file without executable permission, this commit fixes it.

John Ericson authored 1 year ago and Marge Bot committed 1 year ago

It appears that aef587f6 wasn't valid syntax.

Jade authored 1 year ago and Marge Bot committed 1 year ago

Approved CLC Proposal: https://github.com/haskell/core-libraries-committee/issues/246
Fixes: #24346