Fully correct. The full standard-compliant expansion of letrec
would be slower, so I keep it the way it is.
I would be surprised to find a real-world example where this makes
a difference.
cheers,
felix
--
http://galinha.ucpel.tche.br:8081/blog/blog.ssp