[Git][ghc/ghc][wip/T21623] 28 commits: CI: Don't run lint-submods on nightly

Tue Nov 1 17:51:49 UTC 2022

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

Commits:
c2872f3f by Bryan Richter at 2022-10-28T11:36:34+03:00
CI: Don't run lint-submods on nightly

Fixes #22325

- - - - -
270037fa by Hécate Moonlight at 2022-10-28T19:46:12-04:00
Start the deprecation process for GHC.Pack

- - - - -
e65f485b by Simon Peyton Jones at 2022-10-31T11:00:12+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

- - - - -
969a1c3c by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Wibbles

- - - - -
a32e511a by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Unused import

- - - - -
00b6c735 by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Better boxingCon_maybe

- - - - -
6f75abb4 by Richard Eisenberg at 2022-10-31T11:00:12+00:00
Improvements to comments, etc., from Richard

- - - - -
b7d5a10a by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Respond to Richard

- - - - -
e448c0c4 by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Improve boxing-data-con API

- - - - -
eb403524 by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Update error messages

- - - - -
69c2dbcd by Richard Eisenberg at 2022-10-31T11:00:12+00:00
Fix the equality constraint problem

- - - - -
9e91edb0 by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Wibbles

- - - - -
e1655631 by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Add isCovertGadtDataCon, fixing build

- - - - -
b4c93200 by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Wibbles

- - - - -
efa20639 by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Wibbles

- - - - -
9720fd73 by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Move RoughMatch code out of Unify into RoughMatch

- - - - -
581d19e6 by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Wibble

- - - - -
6042ba51 by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Wibbles

- - - - -
6cc3d190 by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Update haddock submodule again

- - - - -
292d17f4 by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Wibbles, esp in RoughMap

- - - - -
dcd365da by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Upate haddock submodule

- - - - -
2443bb15 by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Define eqType using tcEqType

A one-line change

- - - - -
11b9e897 by Simon Peyton Jones at 2022-10-31T11:00:12+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%

- - - - -
4a721ce0 by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Refactor FunTyFlag

Mostly just renaming stuff

- - - - -
07aa8471 by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Wibbles

- - - - -
f6f673c0 by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Wibble

- - - - -
82d33bfd by Simon Peyton Jones at 2022-10-31T11:00:12+00:00
Add FunTyFlags to FunCo

- - - - -
073a65f4 by Simon Peyton Jones at 2022-11-01T17:52:00+00:00
More improvements

Hopefully perf improves a bit

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

- - - - -

13 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/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/8fb07079deea7679aa683bd961f96c1fa5c1165b...073a65f42bb286dd46eab29a0287ea0bfd4d47cc

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/8fb07079deea7679aa683bd961f96c1fa5c1165b...073a65f42bb286dd46eab29a0287ea0bfd4d47cc
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/20221101/40a1668f/attachment-0001.html>