Avoiding CAF's

Simon Peyton-Jones simonpj at microsoft.com
Fri May 18 07:58:22 EDT 2007


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

That is indeed scary.  Would you like to give a small example of such a program?

Simon


More information about the Glasgow-haskell-users mailing list