[Git][ghc/ghc][wip/T21623] 37 commits: CI: Allow hadrian-ghc-in-ghci to run in nightlies

Tue Nov 8 15:32:24 UTC 2022

Simon Peyton Jones pushed to branch wip/T21623 at Glasgow Haskell Compiler / GHC

Commits:
bdc8cbb3 by Bryan Richter at 2022-11-04T10:27:37+02:00
CI: Allow hadrian-ghc-in-ghci to run in nightlies

Since lint-submods doesn't run in nightlies, hadrian-ghc-in-ghci needs
to mark it as "optional" so it can run if the job doesn't exist.

Fixes #22396.

- - - - -
3c0e3793 by Krzysztof Gogolewski at 2022-11-05T00:29:57-04:00
Minor refactor around FastStrings

Pass FastStrings to functions directly, to make sure the rule
for fsLit "literal" fires.

Remove SDoc indirection in GHCi.UI.Tags and GHC.Unit.Module.Graph.

- - - - -
e41b2f55 by Matthew Pickering at 2022-11-05T14:18:10+00:00
Bump unix submodule to 2.8.0.0

Also bumps process and ghc-boot bounds on unix.

For hadrian, when cross-compiling, we add -Wwarn=unused-imports
-Wwarn=unused-top-binds to validation flavour. Further fixes in unix
and/or hsc2hs is needed to make it completely free of warnings; for
the time being, this change is needed to unblock other
cross-compilation related work.

- - - - -
42938a58 by Matthew Pickering at 2022-11-05T14:18:10+00:00
Bump Win32 submodule to 2.13.4.0

Fixes #22098

- - - - -
e7372bc5 by Cheng Shao at 2022-11-06T13:15:22+00:00
Bump ci-images revision

ci-images has recently been updated, including changes needed for wasm32-wasi CI.

- - - - -
88cb9492 by Cheng Shao at 2022-11-06T13:15:22+00:00
Bump gmp-tarballs submodule

Includes a fix for wasm support, doesn't impact other targets.

- - - - -
69427ce9 by Cheng Shao at 2022-11-06T13:15:22+00:00
Bump haskeline submodule

Includes a fix for wasm support, doesn't impact other targets.

- - - - -
5fe11fe6 by Carter Schonwald at 2022-11-07T13:22:14-05:00
bump llvm upper bound
- - - - -
3ad9dfc3 by Simon Peyton Jones at 2022-11-08T15:33:50+00:00
Start work

Not ready for review

More progress

Wibbles

Stage1 compiles

More wibbles

More wibbles

More -- almost working

Comments

Wibbles

Wibbles

Wibble inlineId

Wibbles

Infinite loop somewhere

More wibbles.  Maybe can build stage2

Make FuNCo a thing by itself

Wibble

Wibble

Wibbles

Fix OptCoercion

Wibble

Wibble to optCoercion

Replace SORT with TYPE and CONSTRAINT

Wibble

Delete unused import

Delete TypeOrConstraint from ghc-prim:GHC.Types

Move from NthCo to SelCo

Wibbles

Wibbles in RepType

Wibble

Add mkWpEta

Really add mkWpEta

Wibble Typeable binds etc

Improve error messages

More wibbles, mainly to error messages

Wibbles

Wibbles to errors

Wibbles

But especially: treat Constraint as Typeable

More wibbles

More changes

* Move role into SelTyCon
* Get rid of mkTcSymCo and friends

Unused variable

Wibbles

Wibble

Accept error message changes

Refactoring...

Remove tc functions like tcKind, tcGetTyVar.

Move tyConsOfType, occCheckExpand to TyCo.FVs.

Introduce GHC.Core.TyCo.Compare

Lots of import changes!

Update haddock submodule (I hope)

Wibbles (notably: actually add GHC.Core.TyCo.Compare)

Wibbles

Wibble output of T16575

Wibbles

More wibbles

Remove infinite loop in T1946

See Note [ForAllTy and type equality]

Deal with rejigConRes

Needs a Note to be written by Richard

Some renaming

AnonArgFlag -->  FunTyFlag
ArgFlag     -->  ForAllTyFlag

Update haddock submodule

Rename TyCoBinder to ForAllTyBinder

Wibbles

Update haddock

Wibble

Update unix submodule

I think I accidentally got it out of sync with HEAD;
this puts it back.

Rename TyCoBinder to PiTyBinder

Update Haddock submodule

Wrap dictionaries in tuples

This fixes the kind bugs in arrow desugaring.  Needs some Notes,
but I want to try CI.

More on boxing data cons

Rebase and update GHC.Tc.Errors/GHC.Tc.Errors.Ppr

Revert accidental changes in SameOccInfo

fixes mod180, tcfail182

Wibbles in error messages

..plus eqType comes from GHC.Core.TyCo.Compare

Wibbles

More wibbles

Reaedy for RAE review

Fix fragile rule setup in GHC.Float

See Note [realToFrac natural-to-float]

Wibbles

More wibbles

Remove unused import

Remove another unused import

Wibbles

Update haddock submodule

Respond to Sam's suggestions

Wibbles

Wibbles

- - - - -
d7153729 by Simon Peyton Jones at 2022-11-08T15:33:50+00:00
Wibbles

- - - - -
fa1a5b71 by Simon Peyton Jones at 2022-11-08T15:33:50+00:00
Unused import

- - - - -
39566bac by Simon Peyton Jones at 2022-11-08T15:33:50+00:00
Better boxingCon_maybe

- - - - -
4eb7772c by Richard Eisenberg at 2022-11-08T15:33:50+00:00
Improvements to comments, etc., from Richard

- - - - -
9eeba52d by Simon Peyton Jones at 2022-11-08T15:33:50+00:00
Respond to Richard

- - - - -
0197cf46 by Simon Peyton Jones at 2022-11-08T15:33:50+00:00
Improve boxing-data-con API

- - - - -
9b6ec07a by Simon Peyton Jones at 2022-11-08T15:33:50+00:00
Update error messages

- - - - -
ed38b3aa by Richard Eisenberg at 2022-11-08T15:33:50+00:00
Fix the equality constraint problem

- - - - -
74c68aef by Simon Peyton Jones at 2022-11-08T15:33:50+00:00
Wibbles

- - - - -
faf9fc22 by Simon Peyton Jones at 2022-11-08T15:33:50+00:00
Add isCovertGadtDataCon, fixing build

- - - - -
c03d6f45 by Simon Peyton Jones at 2022-11-08T15:33:50+00:00
Wibbles

- - - - -
7495d638 by Simon Peyton Jones at 2022-11-08T15:33:50+00:00
Wibbles

- - - - -
abe42856 by Simon Peyton Jones at 2022-11-08T15:33:50+00:00
Move RoughMatch code out of Unify into RoughMatch

- - - - -
77b005fb by Simon Peyton Jones at 2022-11-08T15:33:50+00:00
Wibble

- - - - -
c80460c4 by Simon Peyton Jones at 2022-11-08T15:33:50+00:00
Wibbles

- - - - -
803b7218 by Simon Peyton Jones at 2022-11-08T15:33:51+00:00
Update haddock submodule again

- - - - -
9c395bf0 by Simon Peyton Jones at 2022-11-08T15:33:51+00:00
Wibbles, esp in RoughMap

- - - - -
99ad6f3d by Simon Peyton Jones at 2022-11-08T15:33:51+00:00
Upate haddock submodule

- - - - -
19be0d96 by Simon Peyton Jones at 2022-11-08T15:33:51+00:00
Define eqType using tcEqType

A one-line change

- - - - -
2b19242e by Simon Peyton Jones at 2022-11-08T15:33:51+00:00
Revert "Define eqType using tcEqType"

This reverts commit eaf04c17c6a159ddb70eedd6fb8ab0b4fc180b7a.

Performance got worse!
   T18223 was 60% worse
   T8095      75%
   T12227  9%
   T13386  6%
   T15703  7%
   T5030   8%

- - - - -
d0e57145 by Simon Peyton Jones at 2022-11-08T15:33:51+00:00
Refactor FunTyFlag

Mostly just renaming stuff

- - - - -
a6700a4b by Simon Peyton Jones at 2022-11-08T15:33:51+00:00
Wibbles

- - - - -
589e8b72 by Simon Peyton Jones at 2022-11-08T15:33:51+00:00
Wibble

- - - - -
813ec18a by Simon Peyton Jones at 2022-11-08T15:33:51+00:00
Add FunTyFlags to FunCo

- - - - -
f993a45a by Simon Peyton Jones at 2022-11-08T15:33:51+00:00
More improvements

Hopefully perf improves a bit

Plus rep-poly/T13105 and rep-poly/T17536b are fixed.

- - - - -
56ecd825 by Simon Peyton Jones at 2022-11-08T15:33:51+00:00
Add tests for #21530

- - - - -
045ec3ed by Simon Peyton Jones at 2022-11-08T15:33:51+00:00
Make the Unique in a TyCon strict

This avoids lots of evals when comparing TyCons

- - - - -
c564cbd6 by Simon Peyton Jones at 2022-11-08T15:33:51+00:00
Improve efficiency in sORTKind_mabye

- - - - -

24 changed files:

- .gitlab-ci.yml
- compiler/GHC.hs
- compiler/GHC/Builtin/Names.hs
- compiler/GHC/Builtin/Types.hs
- compiler/GHC/Builtin/Types.hs-boot
- compiler/GHC/Builtin/Types/Literals.hs
- compiler/GHC/Builtin/Types/Prim.hs
- − compiler/GHC/Builtin/Types/Prim.hs-boot
- compiler/GHC/Builtin/Uniques.hs
- compiler/GHC/Cmm/BlockId.hs
- compiler/GHC/Cmm/CLabel.hs
- compiler/GHC/CmmToAsm/AArch64/Ppr.hs
- compiler/GHC/CmmToAsm/AArch64/Regs.hs
- compiler/GHC/CmmToAsm/PPC/CodeGen.hs
- compiler/GHC/CmmToAsm/PPC/Ppr.hs
- compiler/GHC/CmmToAsm/PPC/Regs.hs
- compiler/GHC/CmmToAsm/X86/Instr.hs
- compiler/GHC/CmmToAsm/X86/Ppr.hs
- compiler/GHC/CmmToAsm/X86/Regs.hs
- compiler/GHC/CmmToLlvm.hs
- compiler/GHC/Core/Coercion.hs
- compiler/GHC/Core/Coercion.hs-boot
- compiler/GHC/Core/Coercion/Opt.hs
- compiler/GHC/Core/ConLike.hs

The diff was not included because it is too large.

View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/43ee14d598f1404d92e5ddbbb74ee265aca0733e...c564cbd60c26039277d92dd4484b38acc4b672ba

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/43ee14d598f1404d92e5ddbbb74ee265aca0733e...c564cbd60c26039277d92dd4484b38acc4b672ba
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/20221108/7c08311c/attachment-0001.html>