Fix initialisation of strictness in the demand analyser
authorsimonpj@microsoft.com <unknown>
Tue, 26 Oct 2010 08:17:57 +0000 (08:17 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 26 Oct 2010 08:17:57 +0000 (08:17 +0000)
commita46bdb63d919da9478bcd1bee2933dc19bc174ab
treeffd460997eeb8b793488e4e5b25176d899271b8c
parente55d6fa8fcab24a7a072688a19b2e68e09c7f585
Fix initialisation of strictness in the demand analyser

Previously, the demand analyser assumed that every binder
starts off with no strictness info.  But now that we are
preserving strictness on nesting bindings in interface files,
that assumption is no longer correct, because an inlined function
might have a nested binding with strictness set.

So we need to know when we are in the initial sweep, so that we can
set the strictness to 'bottom'.

See Note [Initialising strictness]
compiler/stranal/DmdAnal.lhs