[Git][ghc/ghc][wip/T21623] 21 commits: Convert Diagnostics in GHC.Tc.Gen.Splice (#20116)

Tue Oct 25 16:25:44 UTC 2022

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

Commits:
0614e74d by Aaron Allen at 2022-10-24T17:11:21+02:00
Convert Diagnostics in GHC.Tc.Gen.Splice (#20116)

Replaces uses of `TcRnUnknownMessage` in `GHC.Tc.Gen.Splice` with
structured diagnostics.

closes #20116

- - - - -
8d2dbe2d by Andreas Klebinger at 2022-10-24T15:59:41-04:00
Improve stg lint for unboxed sums.

It now properly lints cases where sums end up distributed
over multiple args after unarise.

Fixes #22026.

- - - - -
6db9e747 by Simon Peyton Jones at 2022-10-25T17:16:49+01: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

- - - - -
b83442db by Simon Peyton Jones at 2022-10-25T17:16:49+01:00
Wibbles

- - - - -
700506cd by Simon Peyton Jones at 2022-10-25T17:16:49+01:00
Unused import

- - - - -
8b64dd92 by Simon Peyton Jones at 2022-10-25T17:16:49+01:00
Better boxingCon_maybe

- - - - -
9cdfb1ad by Richard Eisenberg at 2022-10-25T17:16:49+01:00
Improvements to comments, etc., from Richard

- - - - -
c38e2d6d by Simon Peyton Jones at 2022-10-25T17:16:49+01:00
Respond to Richard

- - - - -
8e7cdd30 by Simon Peyton Jones at 2022-10-25T17:16:49+01:00
Improve boxing-data-con API

- - - - -
8fd379d3 by Simon Peyton Jones at 2022-10-25T17:16:49+01:00
Update error messages

- - - - -
9662af44 by Richard Eisenberg at 2022-10-25T17:16:49+01:00
Fix the equality constraint problem

- - - - -
45650de1 by Simon Peyton Jones at 2022-10-25T17:16:49+01:00
Wibbles

- - - - -
a298b0d4 by Simon Peyton Jones at 2022-10-25T17:18:26+01:00
Add isCovertGadtDataCon, fixing build

- - - - -
cd6a46e3 by Simon Peyton Jones at 2022-10-25T17:18:26+01:00
Wibbles

- - - - -
35e66ff4 by Simon Peyton Jones at 2022-10-25T17:18:26+01:00
Wibbles

- - - - -
901f6efc by Simon Peyton Jones at 2022-10-25T17:18:26+01:00
Move RoughMatch code out of Unify into RoughMatch

- - - - -
1d96ba96 by Simon Peyton Jones at 2022-10-25T17:18:27+01:00
Wibble

- - - - -
9aa0e3c8 by Simon Peyton Jones at 2022-10-25T17:18:27+01:00
Wibbles

- - - - -
d7289a04 by Simon Peyton Jones at 2022-10-25T17:18:27+01:00
Update haddock submodule again

- - - - -
5bfb547f by Simon Peyton Jones at 2022-10-25T17:18:27+01:00
Wibbles, esp in RoughMap

- - - - -
aca49000 by Simon Peyton Jones at 2022-10-25T17:25:27+01:00
Upate haddock submodule

- - - - -

13 changed files:

- 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
- compiler/GHC/Core/DataCon.hs

The diff was not included because it is too large.

View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/53c0e75dcb3d504610064b781535778794e8dd4a...aca49000646bd391bb14f53dd398585c17a03c96

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/53c0e75dcb3d504610064b781535778794e8dd4a...aca49000646bd391bb14f53dd398585c17a03c96
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/20221025/b26ab964/attachment.html>