Hi,

Your statement is true only for purely functional definitions. Here,
there is a difference. The following piece of code is evaluated only
one, at the time of the outermost definition. So trailing is
instantiated only once.

>       if !is_first then
>         trailling:=Buffer.contents white
>       else
>         Buffer.add_buffer buf white;
>       Buffer.reset white;
>       is_first:=false;

This kind of effect is sometimes expected, however.

Have fun.
--
David