| 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
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to