[Git][ghc/ghc][wip/cfuneqcan-refactor] 14 commits: Move core flattening algorithm to Core.Unify

[Richard Eisenberg]

Richard Eisenberg pushed to branch wip/cfuneqcan-refactor at Glasgow Haskell Compiler / GHC


Commits:
e50008c4 by Richard Eisenberg at 2020-10-14T18:26:51-04:00
Move core flattening algorithm to Core.Unify

This sets the stage for a later change, where this
algorithm will be needed from GHC.Core.InstEnv.

This commit also splits GHC.Core.Map into a new file
GHC.Core.Map.Type, in order to avoid module import cycles
with GHC.Core.

- - - - -
19be54a6 by Richard Eisenberg at 2020-10-14T18:27:34-04:00
Start of work in simplifying flattening

- - - - -
b10ee81e by Richard Eisenberg at 2020-10-14T18:27:34-04:00
Much work toward simplifying CFunEqCan

- - - - -
2b9de155 by Richard Eisenberg at 2020-10-14T18:27:34-04:00
Canonicalized function equalities.

Now, onto interactions.

- - - - -
27360b44 by Richard Eisenberg at 2020-10-14T18:27:34-04:00
CEqCan, and canonicalization for it

- - - - -
cbf44c90 by Richard Eisenberg at 2020-10-14T18:27:34-04:00
Main changes done. Now to delete code.

- - - - -
149dd406 by Richard Eisenberg at 2020-10-14T18:27:35-04:00
Kill off CFunEqCan and CTyEqCan

- - - - -
f9a7de7a by Richard Eisenberg at 2020-10-14T18:27:35-04:00
It compiles.

- - - - -
a11a94e6 by Richard Eisenberg at 2020-10-14T18:27:35-04:00
Some bugfixing

- - - - -
c2b5da0f by Richard Eisenberg at 2020-10-14T18:27:35-04:00
Lots of bug fixing

- - - - -
86a1c32a by Richard Eisenberg at 2020-10-14T18:27:36-04:00
Expand synonyms that mention families, obvs

- - - - -
31e5ded7 by Richard Eisenberg at 2020-10-14T18:27:36-04:00
Super skolems are really super.

- - - - -
b61c0aea by Richard Eisenberg at 2020-10-14T18:27:36-04:00
Another bug bites the dust.

- - - - -
ea4da989 by Richard Eisenberg at 2020-10-14T23:15:10-04:00
Put variable on left only when it will unify

- - - - -


20 changed files:

- compiler/GHC/Core/Coercion.hs
- compiler/GHC/Core/Coercion.hs-boot
- compiler/GHC/Core/Coercion/Opt.hs
- compiler/GHC/Core/FamInstEnv.hs
- compiler/GHC/Core/InstEnv.hs
- compiler/GHC/Core/Map.hs
- + compiler/GHC/Core/Map/Type.hs
- compiler/GHC/Core/TyCon.hs
- compiler/GHC/Core/Type.hs
- compiler/GHC/Core/Unify.hs
- compiler/GHC/HsToCore/Monad.hs
- compiler/GHC/HsToCore/Types.hs
- compiler/GHC/Iface/Ext/Utils.hs
- compiler/GHC/Stg/CSE.hs
- compiler/GHC/Tc/Errors.hs
- compiler/GHC/Tc/Instance/Family.hs
- compiler/GHC/Tc/Instance/Typeable.hs
- compiler/GHC/Tc/Solver.hs
- compiler/GHC/Tc/Solver/Canonical.hs
- compiler/GHC/Tc/Solver/Flatten.hs


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/cbdfe1b9957e3c1f83feaf10e344e21864c202f2...ea4da989370c4ac093c5bd9fc06fdabcc8941cc8

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/cbdfe1b9957e3c1f83feaf10e344e21864c202f2...ea4da989370c4ac093c5bd9fc06fdabcc8941cc8
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/20201014/2dd18c55/attachment.html>