diff options
| author | Michal Terepeta <michal.terepeta@gmail.com> | 2016-11-02 15:05:19 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-11-02 15:42:01 -0400 |
| commit | dc4d59621dff31908dc7646082a2c5a362deb10f (patch) | |
| tree | 063ce7e359630cb9d7a9849fe948f283de86abc7 /includes/rts/storage/InfoTables.h | |
| parent | 6fecb7e784daabe3f62ef8090e7019d7ad384080 (diff) | |
| download | haskell-dc4d59621dff31908dc7646082a2c5a362deb10f.tar.gz | |
Hoopl/Dataflow: make the module more self-contained
This makes the GHC's Dataflow module more self-contained by also
forking the `DataflowLattice` (instead of only the analysis
algorithm). Effects/benefits:
- We no longer need to use the deprecated Hoopl functions (and can
remove `-fno-warn-warnings-deprecations` from two modules).
- We can remove the unnecessary `Label` parameter of `JoinFun` (already
ignored in all our implementations).
- We no longer mix Hoopl's `Dataflow` module and GHC's one.
- We can replace some calls to lazy folds in Hoopl with the strict ones
(see `joinOutFacts` and `mkFactBase`).
Signed-off-by: Michal Terepeta <michal.terepeta@gmail.com>
Test Plan: validate
Reviewers: austin, simonmar, bgamari
Reviewed By: bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D2660
Diffstat (limited to 'includes/rts/storage/InfoTables.h')
0 files changed, 0 insertions, 0 deletions