The executable wrappers are handled by hadrian and bindist Makefile.
The various .wrapper scripts in the tree are unused since removal of
Make build system, so this patch removes them all.

(cherry picked from commit 9ede97f3)

This patch cleans up obsolete CPP guarded code paths from the tree.
The minimum supported boot GHC version is 9.6, and all the pre-9.6 era
code paths can be removed.

(cherry picked from commit a55adc8e)

This patch removes unused `USE_REPORT_PRELUDE` code paths from the
tree. They have been present since the first git revision
4fb94ae5, and might have been useful
for debugging purposes many years ago, but these code paths are never
actually built. Removing these ease maintenance of relevant modules in
the future, and also allows us to get rid of `CPP` extension in those
modules as a nice byproduct.

(cherry picked from commit 573cad4b)

This patch removes unused `hscDecls`/`hscDeclsWithLocation` functions
from the compiler, to reduce maintenance burden when doing
refactorings related to ghci.

(cherry picked from commit e3496ef6)

This patch fixes the wasm backend JSFFI prelude script to avoid
calling `import("node:timers")` on non-deno hosts. Safari doesn't like
it and would print an error message to the console. Fixes
https://gitlab.haskell.org/ghc/ghc-wasm-meta/-/issues/13.

(cherry picked from commit 301c3b54)

(cherry picked from commit 589fea7f)

This patch disables internal-interpreter flag for stage0 ghc-bin when
not cross compiling, see added comment for explanation. Fixes #25406.

(cherry picked from commit fde12aba)

This patch enables late-CCS for perf flavour so that the testsuite can
pass for perf as well. Fixes #25308.

(cherry picked from commit 1bdb1317)

This patch adds `--max-old-space-size=8192` to wasm dyld shebang
arguments to bump V8 heap size limit. The default limit
(`heap_size_limit` returned by `v8.getHeapStatistics()`) is
dynamically determined and a bit too low under certain workloads, and
V8 would waste too much CPU time to garbage collect old generation
heap more aggressively. Bumping the limit to 8G doesn't imply dyld
would really take that much memory at run-time, but it lessens V8 heap
stress significantly.

(cherry picked from commit 14c5143899d164c7ac1213d918b4819684538c4b)

Fixes #25431

(cherry picked from commit a23d8e73)

Ben Gamari authored 7 months ago and Zubin committed 6 months ago

(cherry picked from commit 18f532f3)

(cherry picked from commit 7199869a)

This means our alphas will be properly named.

Bodigrim authored 6 months ago and Zubin committed 6 months ago

(cherry picked from commit 853050c3)

Bodigrim authored 6 months ago and Zubin committed 6 months ago

(cherry picked from commit 90746a59)

Cheng Shao authored 6 months ago and Zubin committed 6 months ago

This patch fixes foreign stub handling logic in `hscParsedDecls`.
Previously foreign stubs were simply ignored here, so any feature that
involve foreign stubs would not work in ghci (e.g. CApiFFI). The patch
reuses `generateByteCode` logic and eliminates a large chunk of
duplicate logic that implements Core to bytecode generation pipeline
here. Fixes #25414.

(cherry picked from commit e70009bc)

Hassan Al-Awwadi authored 6 months ago and Zubin committed 6 months ago

The main purpose of this commit is to rip RdrName out of FieldOcc, in
accordance with #21592, and as a side note it has simplified the method
we use to deal with ambiguity somewhat.

To do the first, we make FieldOccs store (LIdP p) instead of always
storing Located RdrName, and moved the readername to the extension
points where necessary.

For the second, well, we just turn an ambiguous RdrName into a unbound
Name through mkUnboundName. Later during disambiguateRecordBinds of the
type checking phase, we will try and do type-directed disambiguation based
on the rdrName field (for now), so this hack works out fine.

See Note [Ambiguous FieldOcc in record updates] for more details.

There are two additional minor changes in this commit:
*  The HsRecSel constructor of HsExpr has been moved to the extension
constuctors, since its really GHC specific.
*  HsProjection no longer has a Located DotFieldOcc as a field, but just a
regular DotFieldOcc, since DotFieldOcc already wraps a located
FieldLabelString

co-authored by: @Jade       <Jade512@proton.me>
                @alt-romes  <rodrigo.m.mesquita@gmail.com>

(cherry picked from commit 1587cccf)

Cheng Shao authored 6 months ago and Zubin committed 6 months ago

This commit adds T25414 test case to demonstrate #25414. It is marked
as broken and will be fixed by the next commit.

(cherry picked from commit b1eed26f)

Simon Peyton Jones authored 6 months ago and Zubin committed 6 months ago

It turned out (#25387) that the fix to #15725 was not quite right:

  commit 48efbc04
  Date:   Mon Oct 15 10:25:02 2018 +0200

    Fix #15725 with an extra Sym

Optimising InstCo is quite subtle, and the invariants surrounding
the LiftingContext in the coercion optimiser were not stated explicitly.

This patch refactors the InstCo optimisation, and documents these
invariants.  See
  * Note [Optimising InstCo]
  * Note [The LiftingContext in optCoercion]

I also did some refactoring of course:

* Instead of a Bool swap-flag, I am not using GHC.Types.Basic.SwapFlag

* I added some invariant-checking the coercion-construction functions
  in GHC.Core.Coercion.Opt.  (Sadly these invariants don't hold during
  typechecking, becuase the types are un-zonked, so I can't put these
  checks in GHC.Core.Coercion.)

(cherry picked from commit 23ddcc01)

Rodrigo Mesquita authored 6 months ago and Zubin committed 6 months ago

The flag should be defined as an fflag to make sure the
-fno-object-determinism flag is also an available option.

Fixes #25397

(cherry picked from commit 4a00731e)

Alan Zimmerman authored 6 months ago and Zubin committed 6 months ago

Remove it from the `al_rest` field, and make `AnnList` parameterized
on a type to be used in `al_rest`, for the various use cases.

(cherry picked from commit 7b1b0c6d)

Rodrigo Mesquita authored 6 months ago and Zubin committed 6 months ago

After #25304, the abi-test with interface and object determinism
succeeds.

This reverts commit 7b37afc9.

(cherry picked from commit e39c8c99)

Rodrigo Mesquita authored 7 months ago and Zubin committed 6 months ago

In 'DocStructureItem' we want to make sure the 'Avails' are sorted, for
interface file determinism. This commit introduces 'DetOrdAvails', a
newtype that should only be constructed by sorting Avails with
'sortAvails' unless the avails are known to be deterministically
ordered. This newtype is used by 'DocStructureItem' where 'Avails' was
previously used to ensure the list of avails is deterministically sorted
by construction.

Note: Even though we order the constructors and avails in the interface
file, the order of constructors in the haddock output is still
determined from the order of declaration in the source. This was also
true before, when the list of constructors in the interface file <docs>
section was non-deterministic. Some haddock tests such as
"ConstructorArgs" observe this (check the order of constructors in
out/ConstructorArgs.html vs src/ConstructorArgs.hs vs its interface file)

The updated tests are caused by haddock corners where the order in the
source is not preserved (and was non-deterministic before this PR):
    * Module header in the latex backend
    * Re-export of pattern synonyms associated to a datatype (#25342)

Fixes #25304

(cherry picked from commit b3f7fb80)

Cheng Shao authored 6 months ago and Zubin committed 6 months ago

This commit fixes an oversight of hadrian wrapper generation logic:
when doing cross compilation, `wrapper` is called on executable names
with cross prefix, therefore we must use `isSuffixOf` when matching to
take the cross prefix into account. Also add missing cross prefix to
ghci wrapper content and fix hsc2hs wrapper logic.

(cherry picked from commit edc02197)

Andrzej Rybczak authored 6 months ago and Zubin committed 6 months ago

!13302 implemented exception
rethrowing proposal, but it didn't adjust `catches`. This fixes it.

(cherry picked from commit 148059fe)

Daneel Yaitskov authored 4 years ago and Zubin committed 6 months ago

Check the RTS flag before doing any work with the given lazy string.

Fix #17949

Co-authored-by: Michael Peyton Jones <me@michaelpj.com>
Co-authored-by: Sylvain Henry <sylvain@haskus.fr>
Co-authored-by: Matthew Pickering <matthewtpickering@gmail.com>
(cherry picked from commit a04959b8)

Alan Zimmerman authored 6 months ago and Zubin committed 6 months ago

EPA: Remove [AddEpAnn] from AnnPragma

EPA: Remove [AddEpAnn] From ForeignDecl

EPA: Remove [AddEpAnn] from RoleAnnotDecl

EPA: Remove [AddEpAnn] from StandaloneKindSig

EPA: Remove [AddEpAnn] From HsDeriving

EPA: Remove [AddEpAnn] from ConDeclField

EPA: Remove [AddEpAnn] from ConDeclGADT

EPA: Remove [AddEpAnn] from ConDeclH98

EPA: Remove [AddEpAnn] from ClsInstDecl
(cherry picked from commit 7f61ed4e)

Luite Stegeman authored 6 months ago and Zubin committed 6 months ago

This adds locking to communication with the external interpreter
to prevent concurrent tasks interfering with each other. This
fixes Template Haskell with the external interpreter in parallel (-j)
builds.

Fixes #25083

(cherry picked from commit d5f42045)

Cheng Shao authored 6 months ago and Zubin committed 6 months ago

This commit flips on support for shared libs, TH & ghci for wasm in
the testsuite, given support has been landed in previous commits.

(cherry picked from commit 74a1f681)
(cherry picked from commit 2e63876a)

Cheng Shao authored 7 months ago and Zubin committed 6 months ago

This commit flips on the support for shared libs and ghci for the wasm
target, given all required support logic has been added in previous
commits.

(cherry picked from commit 652e7239)
(cherry picked from commit e11dc805)

Cheng Shao authored 7 months ago and Zubin committed 6 months ago

This commit adds support for generating PIC to the wasm backend NCG.

(cherry picked from commit 61f5baa5)
(cherry picked from commit 9f8b7824)

Cheng Shao authored 7 months ago and Zubin committed 6 months ago

This commit adds wasm backend iserv logic to the driver, see added
comments for explanation.

(cherry picked from commit 2d6107dc)
(cherry picked from commit c07205fc)

Cheng Shao authored 6 months ago and Zubin committed 6 months ago

This commit fixes getGccSearchDirectory logic for wasm target, ensures
the correct search directory containing libc.so etc can be found by
GHC. getGccSearchDirectory is also exported so it can be used
elsewhere to obtain the wasi-sdk libdir and pass to the dyld script.

(cherry picked from commit b562e3a6)
(cherry picked from commit d3510168)

Cheng Shao authored 7 months ago and Zubin committed 6 months ago

This commit adds the wasm dynamic linker implementation, as well as
ghci logic to call it and hadrian logic to install it to the correct
location. See the top-level note in utils/jsffi/dyld.mjs for more
details.

(cherry picked from commit 549582ef)
(cherry picked from commit 5b545e3c)

Cheng Shao authored 7 months ago and Zubin committed 6 months ago

This commit makes ghc-bin use dynamic way when it is doing interactive
stuff on certain targets whose RTS linker can only handle dynamic
code.

(cherry picked from commit 88e99248)
(cherry picked from commit 50dc1ac1)

Cheng Shao authored 7 months ago and Zubin committed 6 months ago

This commit fixes checkNonStdWay to ensure that for targets whose RTS
linker can only load dynamic code, the dynamic way of object is
selected.

(cherry picked from commit 94ef949e)
(cherry picked from commit 38474be0)

Cheng Shao authored 7 months ago and Zubin committed 6 months ago

This commit fixes dynamic_too_enable for targets whose RTS linker can
only load dynamic code.

(cherry picked from commit fc3a5591)
(cherry picked from commit ba24a6bd)

Cheng Shao authored 6 months ago and Zubin committed 6 months ago

This commit ensures static archives are picked when linking .wasm
modules which are supposed to be fully static, even when ghc may be
invoked with -dynamic, see added comment for explanation.

(cherry picked from commit 47baa904)
(cherry picked from commit 1638d829)

Cheng Shao authored 7 months ago and Zubin committed 6 months ago

This commit ensures the GHC driver never passes any RPATH-related
link-time flags on wasm, which is not supported at all.

(cherry picked from commit 649aae00)
(cherry picked from commit 55d8b48d)

Cheng Shao authored 7 months ago and Zubin committed 6 months ago

This commit adds necessary link-time flags for wasm shared libs, see
added comments for detailed explanation.

(cherry picked from commit 9745fcfb)
(cherry picked from commit 5c94cee6)