[Git][ghc/ghc][wip/angerman/cross-test-suite] 41 commits: rts: Add --copying-gc flag to reverse effect of --nonmoving-gc

Moritz Angermann gitlab at gitlab.haskell.org
Mon Jul 20 05:58:41 UTC 2020 


Moritz Angermann pushed to branch wip/angerman/cross-test-suite at Glasgow Haskell Compiler / GHC


Commits:
750a1595 by Ben Gamari at 2020-07-18T07:26:41-04:00
rts: Add --copying-gc flag to reverse effect of --nonmoving-gc

Fixes #18281.

- - - - -
6ba6a881 by Hécate at 2020-07-18T07:26:42-04:00
Implement `fullCompilerVersion`

Follow-up of https://gitlab.haskell.org/ghc/ghc/-/issues/18403

This MR adds `fullCompilerVersion`, a function that shares the same
backend as the `--numeric-version` GHC flag, exposing a full,
three-digit version datatype.

- - - - -
e6cf27df by Hécate at 2020-07-18T07:26:43-04:00
Add a Lint hadrian rule and an .hlint.yaml file in base/

- - - - -
bcb177dd by Simon Peyton Jones at 2020-07-18T07:26:43-04:00
Allow multiple case branches to have a higher rank type

As #18412 points out, it should be OK for multiple case alternatives
to have a higher rank type, provided they are all the same.

This patch implements that change.  It sweeps away
GHC.Tc.Gen.Match.tauifyMultipleBranches, and friends, replacing it
with an enhanced version of fillInferResult.

The basic change to fillInferResult is to permit the case in which
another case alternative has already filled in the result; and in
that case simply unify.  It's very simple actually.

See the new Note [fillInferResult] in TcMType

Other refactoring:

- Move all the InferResult code to one place, in GHC.Tc.Utils.TcMType
  (previously some of it was in Unify)

- Move tcInstType and friends from TcMType to Instantiate, where it
  more properly belongs.  (TCMType was getting very long.)

- - - - -
e5525a51 by Simon Peyton Jones at 2020-07-18T07:26:43-04:00
Improve typechecking of NPlusK patterns

This patch (due to Richard Eisenberg) improves
documentation of the wrapper returned by tcSubMult
(see Note [Wrapper returned from tcSubMult] in
 GHC.Tc.Utils.Unify).

And, more substantially, it cleans up the multiplicity
handling in the typechecking of NPlusKPat

- - - - -
12f90352 by Krzysztof Gogolewski at 2020-07-18T07:26:45-04:00
Remove {-# CORE #-} pragma (part of #18048)

This pragma has no effect since 2011.
It was introduced for External Core, which no longer exists.

Updates haddock submodule.

- - - - -
e504c913 by Simon Peyton Jones at 2020-07-18T07:26:45-04:00
Refactor the simplification of join binders

This MR (for #18449) refactors the Simplifier's treatment
of join-point binders.

Specifically, it puts together, into
     GHC.Core.Opt.Simplify.Env.adjustJoinPointType
two currently-separate ways in which we adjust the type of
a join point. As the comment says:

-- (adjustJoinPointType mult new_res_ty join_id) does two things:
--
--   1. Set the return type of the join_id to new_res_ty
--      See Note [Return type for join points]
--
--   2. Adjust the multiplicity of arrows in join_id's type, as
--      directed by 'mult'. See Note [Scaling join point arguments]

I think this actually fixes a latent bug, by ensuring that the
seIdSubst and seInScope have the right multiplicity on the type
of join points.

I did some tidying up while I was at it.  No more
setJoinResTy, or modifyJoinResTy: instead it's done locally in
Simplify.Env.adjustJoinPointType

- - - - -
49b265f0 by Chaitanya Koparkar at 2020-07-18T07:26:46-04:00
Fix minor typos in a Core.hs note

- - - - -
8d59aed6 by Stefan Schulze Frielinghaus at 2020-07-18T07:26:47-04:00
GHCi: Fix isLittleEndian

- - - - -
c26e81d1 by Ben Gamari at 2020-07-18T07:26:47-04:00
testsuite: Mark ghci tests as fragile under unreg compiler

In particular I have seen T16012 fail repeatedly under the
unregisterised compiler.

- - - - -
3cac2f19 by Moritz Angermann at 2020-07-20T05:58:17+00:00
Cross Test Suite

- - - - -
765fba24 by Moritz Angermann at 2020-07-20T05:58:17+00:00
platform backwards compat, until libraries are patched.

- - - - -
0e93f6de by Moritz Angermann at 2020-07-20T05:58:17+00:00
unbreak test.mk

- - - - -
0ccbe046 by Moritz Angermann at 2020-07-20T05:58:17+00:00
default TEST_WRAPPER

- - - - -
ee89eeeb by Moritz Angermann at 2020-07-20T05:58:17+00:00
m(

- - - - -
3e89688e by Moritz Angermann at 2020-07-20T05:58:17+00:00
Fixup the test-suite

- - - - -
0ee10fcb by Moritz Angermann at 2020-07-20T05:58:17+00:00
Update test.mk
- - - - -
9bb42ad9 by Moritz Angermann at 2020-07-20T05:58:17+00:00
Fix T13350

- - - - -
5661cef1 by Moritz Angermann at 2020-07-20T05:58:17+00:00
Fix T1372

- - - - -
a890136f by Moritz Angermann at 2020-07-20T05:58:17+00:00
Drop exec, use identity wrapper

- - - - -
6156f026 by Moritz Angermann at 2020-07-20T05:58:17+00:00
Fix T13168

- - - - -
63efbc3e by Moritz Angermann at 2020-07-20T05:58:17+00:00
Fix T3007

- - - - -
77dbd03b by Moritz Angermann at 2020-07-20T05:58:17+00:00
Fix recomp007

- - - - -
329b74f4 by Moritz Angermann at 2020-07-20T05:58:17+00:00
use $*

- - - - -
52e3795c by Moritz Angermann at 2020-07-20T05:58:17+00:00
fix concio001

- - - - -
e3c42375 by Moritz Angermann at 2020-07-20T05:58:17+00:00
disable flakey divbyzero test

- - - - -
e2c9d6d3 by Moritz Angermann at 2020-07-20T05:58:17+00:00
add python :(

- - - - -
f243b697 by Moritz Angermann at 2020-07-20T05:58:17+00:00
???

- - - - -
aacd4e4a by Moritz Angermann at 2020-07-20T05:58:17+00:00
Fix T13168

- - - - -
9df028a7 by Moritz Angermann at 2020-07-20T05:58:17+00:00
What is going on in CI?

Why can't I reproduce this locally?

- - - - -
722c5a1a by Moritz Angermann at 2020-07-20T05:58:17+00:00
Fix test-wrapper in python, so hadrian gets the benefit.

- - - - -
6ef8da1d by Moritz Angermann at 2020-07-20T05:58:17+00:00
make it a Path!

- - - - -
743f889f by Moritz Angermann at 2020-07-20T05:58:17+00:00
Drop left debug statement

- - - - -
eee5e711 by Moritz Angermann at 2020-07-20T05:58:17+00:00
Better TEST_WRAPPER injection.

- - - - -
d3b647b4 by Moritz Angermann at 2020-07-20T05:58:17+00:00
Split wrapper and prefix

- - - - -
8bfd7958 by Moritz Angermann at 2020-07-20T05:58:17+00:00
 Maybe the test-wrapper logic should become a cmd_prefix?

- - - - -
2890438a by Moritz Angermann at 2020-07-20T05:58:17+00:00
:facepalm:

- - - - -
07c60e6d by Moritz Angermann at 2020-07-20T05:58:17+00:00
:fire:

- - - - -
c47be726 by Moritz Angermann at 2020-07-20T05:58:17+00:00
Fix T10955dyn?

- - - - -
a62ee549 by Moritz Angermann at 2020-07-20T05:58:17+00:00
cleanup

- - - - -
3d146019 by Moritz Angermann at 2020-07-20T05:58:17+00:00
Revert "Fix T10955dyn?"

This reverts commit 4c242580a429fd1942a9a982fd2b4a3abe113d6d.

- - - - -


30 changed files:

- compiler/GHC/Core.hs
- compiler/GHC/Core/Lint.hs
- compiler/GHC/Core/Opt/Simplify.hs
- compiler/GHC/Core/Opt/Simplify/Env.hs
- compiler/GHC/Core/TyCo/Rep.hs
- compiler/GHC/Core/Type.hs
- compiler/GHC/Core/UsageEnv.hs
- compiler/GHC/Hs/Expr.hs
- compiler/GHC/HsToCore/Binds.hs
- compiler/GHC/HsToCore/Expr.hs
- compiler/GHC/HsToCore/Quote.hs
- compiler/GHC/Parser.y
- compiler/GHC/Parser/Lexer.x
- compiler/GHC/Rename/Expr.hs
- compiler/GHC/Tc/Gen/Expr.hs
- compiler/GHC/Tc/Gen/Match.hs
- compiler/GHC/Tc/Gen/Pat.hs
- compiler/GHC/Tc/Gen/Sig.hs
- compiler/GHC/Tc/Instance/Class.hs
- compiler/GHC/Tc/Instance/Family.hs
- compiler/GHC/Tc/TyCl/Class.hs
- compiler/GHC/Tc/Types/Evidence.hs
- compiler/GHC/Tc/Utils/Env.hs
- compiler/GHC/Tc/Utils/Instantiate.hs
- compiler/GHC/Tc/Utils/TcMType.hs
- compiler/GHC/Tc/Utils/TcType.hs
- compiler/GHC/Tc/Utils/Unify.hs
- docs/users_guide/phases.rst
- docs/users_guide/runtime_control.rst
- hadrian/hadrian.cabal


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/8c0f74595cbb6736a934404f3b90b509b229d16a...3d146019b5141e19da41efd7a0a124cafb0dbcd6

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/8c0f74595cbb6736a934404f3b90b509b229d16a...3d146019b5141e19da41efd7a0a124cafb0dbcd6
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/20200720/d8b948a6/attachment-0001.html>

More information about the ghc-commits mailing list