On 3/28/07, Loup Vaillant <loup.vaillant@gmail.com> wrote:
> Thank you for your help, I will get back to work.
>
> 2007/3/27, Nicolas Pouillard <nicolas.pouillard@gmail.com>:
> > On 3/27/07, Loup Vaillant <loup.vaillant@gmail.com> wrote:
> > > | Pexp_lazy of expression
> > > Why does this constructor even exist? Are some specific optimizations made?
> >
> > Since the evaluation of the expression is delayed it's not a plain function.
>
> Actually, I knew that.
> However, given the following expressions are semantically equivalent:
>
> lazy expr;;
> lazy_from_fun (fun () -> expr);;
>
> With "lazy_from_fun" being a plain function,
> my point is then to know if they are really equivalent
> (e.g. implementation wise), so I can assume
> the keyword "lazy" is just syntactic sugar.

I think that's safe to assume it.

-- 
Nicolas Pouillard