Simplify lintIdUnfolding
authorMatthew Pickering <matthew.pickering@tweag.io>
Fri, 6 Jul 2018 15:00:40 +0000 (11:00 -0400)
committerBen Gamari <ben@smart-cactus.org>
Fri, 6 Jul 2018 18:08:37 +0000 (14:08 -0400)
commit379bb201417870482b310cf65505046650fc69b2
tree29299ba75607eee8081f8c2dd8f94bcd52da25c1
parentfbe162f58caa31df445d9edbf0b0919810687011
Simplify lintIdUnfolding

The logic for `DFunUnfolding` seemed quite confusing and unecessary. A
simpler strategy uses `maybeUnfoldingTemplate`, as that is what is
actually used when doing inlining and checking that has the right type.

Reviewers: simonpj, goldfire, bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4919
compiler/coreSyn/CoreLint.hs