[cduce-users] Problems using print_xml
Giuseppe.Castagna at ens.fr
Tue May 16 16:59:22 CEST 2006
> Hello, I'm actually encountering a tedious problem using print_xml
> 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"
let test = <h1>[ 'Other article 2005' ]
This does not solve your problem however.
More information about the Cduce-users