On 2008-02-26, at 13:24, Loup Vaillant wrote:

> This kind of expression is not allowed as right-hand side of `let rec'
>
> Any ideas about what is this restriction, an what is it for?


The restriction is documented in section 7.3 of the reference manual,
and it's here to make recursive definitions work correctly under
eager evaluation.

-- Damien