[Git][ghc/ghc][wip/amg/dcoercion] Directed coercions

[sheaf (@sheaf)]

sheaf pushed to branch wip/amg/dcoercion at Glasgow Haskell Compiler / GHC


Commits:
6bb5d279 by Adam Gundry at 2023-05-13T18:43:16+02:00
Directed coercions

This patch introduces a slimmer version of coercions, directed coercions,
which store fewer types within them. This more compact representation
considerably speeds up programs which involve many type family
reductions, as the coercion size no longer grows quadratically in
the number of reduction steps.

-------------------------
Metric Decrease:
    LargeRecord
    T12227
    T12545
    T13386
    T3064
    T5030
    T8095
    T9872a
    T9872b
    T9872b_defer
    T9872c
    T9872d
Metric Increase:
    CoOpt_Singletons
    T18223
    T9872a
    T9872b
    T9872c
    T9872d
-------------------------

- - - - -


9 changed files:

- compiler/GHC/Core/Coercion.hs
- compiler/GHC/Core/Coercion.hs-boot
- compiler/GHC/Core/Coercion/Opt.hs
- compiler/GHC/Core/FVs.hs
- compiler/GHC/Core/FamInstEnv.hs
- + compiler/GHC/Core/FamInstEnv.hs-boot
- compiler/GHC/Core/Lint.hs
- compiler/GHC/Core/Opt/Pipeline.hs
- compiler/GHC/Core/Opt/Simplify/Iteration.hs


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/6bb5d279e5132e73ad1823d645b10c451264aa78

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/6bb5d279e5132e73ad1823d645b10c451264aa78
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/20230513/a92c759e/attachment.html>