[Git][ghc/ghc][wip/T21623] 58 commits: DmdAnal: Don't panic in addCaseBndrDmd (#22039)

Tue Sep 6 10:42:56 UTC 2022

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

Commits:
d2be80fd by Sebastian Graf at 2022-09-05T23:12:14-04:00
DmdAnal: Don't panic in addCaseBndrDmd (#22039)

Rather conservatively return Top.
See Note [Untyped demand on case-alternative binders].

I also factored `addCaseBndrDmd` into two separate functions `scrutSubDmd` and
`fieldBndrDmds`.

Fixes #22039.

- - - - -
25f68ace by Ben Gamari at 2022-09-05T23:12:50-04:00
gitlab-ci: Ensure that ghc derivation is in scope

Previously the lint-ci job attempted to use cabal-install (specifically
`cabal update`) without a GHC in PATH. However, cabal-install-3.8
appears to want GHC, even for `cabal update`.

- - - - -
406f2c05 by Simon Peyton Jones at 2022-09-06T09:04:05+01:00
Start work

Not ready for review

- - - - -
1ae9330f by Simon Peyton Jones at 2022-09-06T09:04:05+01:00
More progress

- - - - -
67a7d6ee by Simon Peyton Jones at 2022-09-06T09:04:05+01:00
Wibbles

- - - - -
a3ea44bf by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Stage1 compiles

- - - - -
81db4bad by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
More wibbles

- - - - -
ebafcf3d by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
More wibbles

- - - - -
ddf72103 by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
More -- almost working

- - - - -
c2423616 by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Comments

- - - - -
a03d809d by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Wibbles

- - - - -
32a2f662 by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Wibbles

- - - - -
2b82267f by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Wibble inlineId

- - - - -
ad6cebe8 by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Wibbles

- - - - -
0a0a47b3 by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Infinite loop somewhere

- - - - -
21209b0e by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
More wibbles.  Maybe can build stage2

- - - - -
ccf22783 by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Make FuNCo a thing by itself

- - - - -
17a38bfb by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Wibble

- - - - -
b839b1c1 by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Wibble

- - - - -
53f2bbbd by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Wibbles

- - - - -
63b4d300 by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Fix OptCoercion

- - - - -
971b7d7f by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Wibble

- - - - -
e71b490b by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Wibble to optCoercion

- - - - -
e148c1af by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Replace SORT with TYPE and CONSTRAINT

- - - - -
566cad71 by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Wibble

- - - - -
3a38a326 by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Delete unused import

- - - - -
060b4fbc by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Delete TypeOrConstraint from ghc-prim:GHC.Types

- - - - -
b654d457 by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Move from NthCo to SelCo

- - - - -
73d36b2c by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Wibbles

- - - - -
9f09f6b2 by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Wibbles in RepType

- - - - -
a249caea by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Wibble

- - - - -
778d1bff by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Add mkWpEta

- - - - -
4a3f7981 by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Really add mkWpEta

- - - - -
f422268d by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Wibble Typeable binds etc

- - - - -
c97f269a by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Improve error messages

- - - - -
09644fed by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
More wibbles, mainly to error messages

- - - - -
835c071e by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Wibbles

- - - - -
925f3210 by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Wibbles to errors

- - - - -
314f74c1 by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
Wibbles

But especially: treat Constraint as Typeable

- - - - -
518ae921 by Simon Peyton Jones at 2022-09-06T09:04:06+01:00
More wibbles

- - - - -
7a14baf9 by Simon Peyton Jones at 2022-09-06T09:04:07+01:00
More changes

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

- - - - -
dda19363 by Simon Peyton Jones at 2022-09-06T09:04:07+01:00
Unused variable

- - - - -
75eb5a7b by Simon Peyton Jones at 2022-09-06T09:04:07+01:00
Wibbles

- - - - -
a10b695b by Simon Peyton Jones at 2022-09-06T09:04:07+01:00
Wibble

- - - - -
41985d6f by Simon Peyton Jones at 2022-09-06T09:04:07+01:00
Accept error message changes

- - - - -
6b78e5b3 by Simon Peyton Jones at 2022-09-06T09:04:07+01:00
Refactoring...

Remove tc functions like tcKind, tcGetTyVar.

Move tyConsOfType, occCheckExpand to TyCo.FVs.

- - - - -
c0dfbb3b by Simon Peyton Jones at 2022-09-06T09:04:07+01:00
Introduce GHC.Core.TyCo.Compare

Lots of import changes!

- - - - -
cc55c51d by Simon Peyton Jones at 2022-09-06T09:04:07+01:00
Update haddock submodule (I hope)

- - - - -
dfe3bcf9 by Simon Peyton Jones at 2022-09-06T09:04:07+01:00
Wibbles (notably: actually add GHC.Core.TyCo.Compare)

- - - - -
9d12de0b by Simon Peyton Jones at 2022-09-06T09:04:07+01:00
Wibbles

- - - - -
335b2c2f by Simon Peyton Jones at 2022-09-06T09:04:07+01:00
Wibble output of T16575

- - - - -
cc101625 by Simon Peyton Jones at 2022-09-06T09:04:07+01:00
Wibbles

- - - - -
762cda45 by Simon Peyton Jones at 2022-09-06T09:04:07+01:00
More wibbles

- - - - -
e0c1373a by Simon Peyton Jones at 2022-09-06T09:04:07+01:00
Remove infinite loop in T1946

See Note [ForAllTy and type equality]

- - - - -
148960a4 by Simon Peyton Jones at 2022-09-06T09:04:07+01:00
Deal with rejigConRes

Needs a Note to be written by Richard

- - - - -
d675145e by Simon Peyton Jones at 2022-09-06T09:04:07+01:00
Some renaming

AnonArgFlag -->  FunTyFlag
ArgFlag     -->  ForAllTyFlag

- - - - -
cc8e27a6 by Simon Peyton Jones at 2022-09-06T09:04:07+01:00
Update haddock submodule

- - - - -
424ba753 by Simon Peyton Jones at 2022-09-06T11:43:04+01:00
Rename TyCoBinder to ForAllTyBinder

- - - - -

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/Core/Coercion.hs
- compiler/GHC/Core/Coercion.hs-boot
- compiler/GHC/Core/Coercion/Opt.hs
- compiler/GHC/Core/DataCon.hs
- compiler/GHC/Core/FVs.hs
- compiler/GHC/Core/FamInstEnv.hs
- compiler/GHC/Core/InstEnv.hs
- compiler/GHC/Core/Lint.hs
- compiler/GHC/Core/Make.hs
- compiler/GHC/Core/Map/Expr.hs
- compiler/GHC/Core/Map/Type.hs
- compiler/GHC/Core/Multiplicity.hs
- compiler/GHC/Core/Opt/Arity.hs
- compiler/GHC/Core/Opt/CallArity.hs
- compiler/GHC/Core/Opt/ConstantFold.hs

The diff was not included because it is too large.

View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/14bb809d309e0959191bc7efd2a022dd356c1df6...424ba7535cc035375934063481d8647f07351e74

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/14bb809d309e0959191bc7efd2a022dd356c1df6...424ba7535cc035375934063481d8647f07351e74
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/20220906/dce8556f/attachment-0001.html>