Make the demand analyser take account of lambda-bound unfoldings
authorSimon PJ <simonpj@microsoft.com>
Mon, 3 May 2010 15:16:30 +0000 (15:16 +0000)
committerSimon PJ <simonpj@microsoft.com>
Mon, 3 May 2010 15:16:30 +0000 (15:16 +0000)
commit71c7067b7cc2b06265c97190e6a09c272ad7a175
tree58afe6b53c94c17581e358b5ddd7aaf18521512b
parent979c11345ee532a4fc56aab54f51d2924c0ea841
Make the demand analyser take account of lambda-bound unfoldings

This is a long-standing lurking bug. See Note [Lamba-bound unfoldings]
in DmdAnal.

I'm still not really happy with this lambda-bound-unfolding stuff.
compiler/simplCore/Simplify.lhs
compiler/stranal/DmdAnal.lhs