extraction of elements from a list

pierluigi luzzone at gmail.com
Thu May 18 11:53:09 CEST 2006


Hi, I would like to know how to extract elements from a list.

type address = <a name=String href=String>[PCDATA]

let foo = [ address* ]


My problem is to write a function for taking the concatenation of the 
address element. For instance, from

let list : [address*]= [ <a name="Peter" href="address1">['something'] 
<a name="Axel" href="address2">['somethingelse'] ]

I want to get

<a name="Peter" href="address1">['something'] <a name="Axel" 
href="address2">['somethingelse']


but I don't know how, in case that it is possible.
Thanks a lot,

Pierluigi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listes.math.univ-paris-diderot.fr/pipermail/cduce-users/attachments/20060518/0817b009/attachment.html>


More information about the Cduce-users mailing list