[cduce-users] Transformation d'une liste

Serge Leblanc serge.leblanc at wanadoo.fr
Fri Jul 25 14:30:51 CEST 2003


On 2003.07.25 12:32, Alain.Frisch at ens.fr wrote:
> Btw, this function could be written more compactly (without giving the
> three arrow types), if it is only used for toplevel Menus:
> 
> let transform_menu (<menu>m : Menu) : Xdl =
>  <dl>
>   transform m with <menu_group title=t>g ->
>   [ <dt>[ <b>t ]; map g with <menu_item title=t>s -> <dd>[ <a
> title=t>s ] ]

Thank you Alain, but the last line of your example return the following 
error :

Error at line 46 (chars 7-78), file ./ldsab/test2.cd:
This expression should have type:
Arrow
but it is a pair



More information about the Cduce-users mailing list