[cduce-users] Problems using print_xml

Nils Gesbert nils.gesbert at ens.fr
Tue May 16 16:49:29 CEST 2006


Have you tried re-typing it in a fresh toplevel ? I can't reproduce your problem...

        CDuce version 0.4.0

# 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>"



More information about the Cduce-users mailing list