[Git][ghc/ghc][wip/T23070-unify] 27 commits: ci: update ci.sh to actually run the entire testsuite for wasm backend

Thu Apr 27 23:34:04 UTC 2023

Simon Peyton Jones pushed to branch wip/T23070-unify at Glasgow Haskell Compiler / GHC

Commits:
d5c4629b by Cheng Shao at 2023-04-27T16:00:35-04:00
ci: update ci.sh to actually run the entire testsuite for wasm backend

For the time being, we still need to use in-tree mode and can't test
the bindist yet.

- - - - -
533d075e by Cheng Shao at 2023-04-27T16:00:35-04:00
ci: additional wasm32 manual jobs in validate pipelines

This patch enables bignum native & unregisterised wasm32 jobs as
manual jobs in validate pipelines, which can be useful to prevent
breakage when working on wasm32 related patches.

- - - - -
b5f00811 by Cheng Shao at 2023-04-27T16:00:35-04:00
testsuite: fix cross prefix stripping

This patch fixes cross prefix stripping in the testsuite driver. The
normalization logic used to only handle prefixes of the triple form
<arch>-<vendor>-<os>, now it's relaxed to allow any number of tokens
in the prefix tuple, so the cross prefix stripping logic would work
when ghc is configured with something like --target=wasm32-wasi.

- - - - -
6f511c36 by Cheng Shao at 2023-04-27T16:00:35-04:00
testsuite: include target exe extension in heap profile filenames

This patch fixes hp2ps related framework failures when testing the
wasm backend by including target exe extension in heap profile
filenames.

- - - - -
e6416b10 by Cheng Shao at 2023-04-27T16:00:35-04:00
testsuite: exclude ghci ways if no rts linker is present

This patch implements logic to automatically exclude ghci ways when
there is no rts linker. It's way better than having to annotate
individual test cases.

- - - - -
791cce64 by Cheng Shao at 2023-04-27T16:00:35-04:00
testsuite: fix permission bits in copy_files

When the testsuite driver copy files instead of symlinking them, it
should also copy the permission bits, otherwise there'll be permission
denied errors. Also, enforce file copying when testing wasm32, since
wasmtime doesn't handle host symlinks quite well
(https://github.com/bytecodealliance/wasmtime/issues/6227).

- - - - -
aa6afe8a by Cheng Shao at 2023-04-27T16:00:35-04:00
testsuite: add the req_ghc_with_threaded_rts predicate

This patch adds the req_ghc_with_threaded_rts predicate to the
testsuite to assert the platform has threaded RTS, and mark some tests
as req_ghc_with_threaded_rts. Also makes ghc_with_threaded_rts a
config field instead of a global variable.

- - - - -
ce580426 by Cheng Shao at 2023-04-27T16:00:35-04:00
testsuite: add the req_process predicate

This patch adds the req_process predicate to the testsuite to assert
the platform has a process model, also marking tests that involve
spawning processes as req_process. Also bumps hpc & process submodule.

- - - - -
cb933665 by Cheng Shao at 2023-04-27T16:00:35-04:00
testsuite: add the req_host_target_ghc predicate

This patch adds the req_host_target_ghc predicate to the testsuite to
assert the ghc compiler being tested can compile both host/target
code. When testing cross GHCs this is not supported yet, but it may
change in the future.

- - - - -
b174a110 by Cheng Shao at 2023-04-27T16:00:35-04:00
testsuite: add missing annotations for some tests

This patch adds missing annotations (req_th, req_dynamic_lib_support,
req_rts_linker) to some tests. They were discovered when testing
wasm32, though it's better to be explicit about what features they
require, rather than simply adding when(arch('wasm32'), skip).

- - - - -
bd2bfdec by Cheng Shao at 2023-04-27T16:00:35-04:00
testsuite: wasm32-specific fixes

This patch includes all wasm32-specific testsuite fixes.

- - - - -
4eaf2c2a by Josh Meredith at 2023-04-27T16:01:11-04:00
JS: change GHC.JS.Transform.identsS/E/V to take a saturated IR (#23304)

- - - - -
406378c5 by Simon Peyton Jones at 2023-04-28T00:35:42+01:00
First steps killing unifyWanted

- - - - -
46a1407f by Simon Peyton Jones at 2023-04-28T00:35:42+01:00
Fix a boo boo

- - - - -
f6f2418e by Simon Peyton Jones at 2023-04-28T00:35:42+01:00
Fix another error: missing kick-out

- - - - -
d66cbdc4 by Simon Peyton Jones at 2023-04-28T00:35:42+01:00
Maybe working now

- - - - -
029d9caf by Simon Peyton Jones at 2023-04-28T00:35:42+01:00
Wibbles

- - - - -
08d84459 by Simon Peyton Jones at 2023-04-28T00:35:42+01:00
Stop loop

- - - - -
abfe5da8 by Simon Peyton Jones at 2023-04-28T00:35:42+01:00
Wibbles

- - - - -
40507864 by Simon Peyton Jones at 2023-04-28T00:35:42+01:00
More wibbles

- - - - -
2368b137 by Simon Peyton Jones at 2023-04-28T00:35:42+01:00
undo accidental change to GHC.Bits

- - - - -
c11ba931 by Simon Peyton Jones at 2023-04-28T00:35:42+01:00
Wibble error messages

- - - - -
b65bb9ed by Simon Peyton Jones at 2023-04-28T00:35:42+01:00
Experimental change: coercion holes

Experiment with making a constraint non-canonical if it has
a coercion hole on the RHS.

Simplifies T22707 a lot!

- - - - -
278c7fe4 by Simon Peyton Jones at 2023-04-28T00:35:42+01:00
More wibbles

- - - - -
560df2ae by Simon Peyton Jones at 2023-04-28T00:35:42+01:00
Priorities non-rewritten equalities in the work list

Plus update error output

- - - - -
cb660f21 by Simon Peyton Jones at 2023-04-28T00:35:42+01:00
Further wibbles

Fix to defaulting in rules

- - - - -
096a1f74 by Simon Peyton Jones at 2023-04-28T00:35:42+01:00
Improved error messages

- - - - -

30 changed files:

- .gitlab/ci.sh
- .gitlab/gen_ci.hs
- .gitlab/jobs.yaml
- compiler/GHC/Core/Coercion.hs
- compiler/GHC/Core/Predicate.hs
- compiler/GHC/Core/TyCo/Subst.hs
- compiler/GHC/HsToCore.hs
- compiler/GHC/JS/Transform.hs
- compiler/GHC/StgToJS/Monad.hs
- compiler/GHC/Tc/Errors.hs
- compiler/GHC/Tc/Gen/HsType.hs
- compiler/GHC/Tc/Gen/Rule.hs
- compiler/GHC/Tc/Solver.hs
- compiler/GHC/Tc/Solver/Canonical.hs
- compiler/GHC/Tc/Solver/Dict.hs
- compiler/GHC/Tc/Solver/Equality.hs
- compiler/GHC/Tc/Solver/InertSet.hs
- compiler/GHC/Tc/Solver/Interact.hs
- compiler/GHC/Tc/Solver/Monad.hs
- compiler/GHC/Tc/Solver/Rewrite.hs
- compiler/GHC/Tc/Types/Constraint.hs
- compiler/GHC/Tc/Types/Origin.hs
- compiler/GHC/Tc/Utils/Concrete.hs
- compiler/GHC/Tc/Utils/TcMType.hs
- compiler/GHC/Tc/Utils/TcType.hs
- compiler/GHC/Tc/Utils/Unify.hs
- compiler/GHC/Tc/Utils/Unify.hs-boot
- hadrian/src/Settings/Builders/RunTest.hs
- libraries/base/tests/IO/all.T
- libraries/base/tests/IO/openFile008.hs

The diff was not included because it is too large.

View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/c305e5c7e3d27e2325b5a71d6d8458cf697bff4d...096a1f74c2de10b1c8d0b0e74ea775db0afcae64

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/c305e5c7e3d27e2325b5a71d6d8458cf697bff4d...096a1f74c2de10b1c8d0b0e74ea775db0afcae64
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/20230427/17283ea0/attachment-0001.html>