Avoiding CAF's

[Neil Mitchell]

Hi

> > See this thread:
> >
> > http://www.nabble.com/%7B---INLINE-me_harder---%7D-tf3599366.html
>
> I'll try and see if I can do this with RULES.

I remember the reason that was unsatisfactory now. The RULES only fire
at high optimisation levels, whereas for this particular program the
CAF/unCAF-ness of a function effects whether the program gives the
correct answer. I really want to annotate in a way that changes the
semantics, for which RULES should be avoided.

Thanks

Neil