Re: error

> Hello, All.
> This is taken from manual:
> 
> The lambda construct
>      with n internal variables takes n + 1 children. The first
> (second, up to n) is a _bvar_ containing the identifiers of the
> internal variables.
> 
> This is also taken from manual:
> 
> <declare type="fn">
>        <ci> J </ci>
>        <lambda><ci> x </ci>
>          <apply><ln/>
>            <ci> x </ci>
>          </apply>
>        </lambda>
> </declare>

This is definitely an error in the Recommandation (as you would have
guessed...). The "bvar" element is mandatory. Sorry for that.
 
             Ste'phane.

Received on Thursday, 13 August 1998 05:44:32 UTC