Avoiding CAF's

Neil Mitchell ndmitchell at gmail.com
Wed May 16 09:26:41 EDT 2007


> > 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.



More information about the Glasgow-haskell-users mailing list