16 May
2007
16 May
'07
9:26 a.m.
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