[cduce-users] Problems using print_xml

Giuseppe Castagna Giuseppe.Castagna at ens.fr
Tue May 16 16:59:22 CEST 2006


pierluigi wrote:
> Hello, I'm actually encountering a tedious problem using print_xml 
> function.
> 
> type block = <h1>[String]
> test = <h1>[ "Other article 2005" ]
> 

I cannot reproduce it.

[beppe at mirto ~]$ cduce
         CDuce version 0.4.0

# type block = <h1>[String];;
# let test = <h1>[ "Other article 2005" ];;
val test : <h1>[ [ 'Other article 2005' ] ] = <h1>[ "Other article 2005" ]
# print_xml test;;
- : Latin1 = "<h1>Other article 2005</h1>"
#


In general if you write [ "Other article 2005" ] then you wrote a sequence that 
contains another sequence (since String is nothing but [Char*]. So probably what 
you wanted to write is

let test = <h1>"Other article 2005"

or

let test = <h1>[ 'Other article 2005' ]

This does not solve your problem however.

---Beppe---



More information about the Cduce-users mailing list