RULES and strictness

[John Meacham]

when performing strictness/abscence/one-shot analysis, are rule bodies
taken into account? like, would the following cause trouble making const
no longer absent in its second argument?

const x y = x

{-# RULE "const/seq" forall a b . const a b = seq b a #-}

by trouble I mean the compiler failing or producing bad code in some
way, rather than the obvious trouble of changing the meaning of const.

it is noted in the deforestation papers that rules can change the
sharing properties of code and we are okay with that. I was wondering if
they could safely change the strictness or abscence properties of code
as well?

        John

-- 
John Meacham - ⑆repetae.net⑆john⑈