If I am not mistaken you are selecting a domain whose first child is a
device node whose only child is disk node ...

instead of:
<domain..>[<devices..>[<disk..>[<source dev=(Latin1 & s) ..>_]]]

you should aim for something in the vein of:

<domain ..>  [_* (<devices..> (<disk..>(<source dev=(Latin1 & s)>|
<souce file = (Latin1 &s)>_)* |_)* _*]

Till



On Wed, Sep 30, 2009 at 10:01 AM, Richard Jones <rich@annexia.org> wrote:
> On Wed, Sep 30, 2009 at 09:33:07AM -0400, Till Varoquaux wrote:
>> OCamlduce (Alain correct me if I am wrong) basically maintains two
>> separate type systems side by side (the Xduce one and the Ocaml one).
>> This is done in order to make Ocamlduce maintainable by keeping a
>> clear separation. As a result you have to explicitly convert values
>> between type systems using {:...:}. These casts are type safe but do
>> lead to some work at runtime.
>>
>> Also note that ocaml's string are Latin1 and not String in the XML world. So:
>>
>>  let devs = match xml with
>>    | {{ <domain>[<devices>[<source dev=(Latin1 & dev) ..>[]]] }} -> {:dev:}
>>    | {{ <domain>[<devices>[<source file=(Latin1 & file) ..>[]]] }} ->
>> {:file:} in
>>
>> Should work (I'm rusty and have nothing to check handy).
>
> I tried variations on the above, but couldn't get it to work.
> ocamlduce is very fond of a mysterious error called "Error: Subtyping
> failed", which is very difficult for me to understand, and therefore
> must be absolutely impossible for someone not used to strong typing.
>
> This is where I'm heading at the moment (sorry, my previous
> example missed a <disk> level inside <devices>), so:
>
>  let xml = from_string xml in
>  prerr_endline (Ocamlduce.to_string xml);
>
>  let devs = {{ map [xml] with
>    | <domain..>[<devices..>[<disk..>[<source dev=(Latin1 & s) ..>_]]]
>    | <domain..>[<devices..>[<disk..>[<source file=(Latin1 & s) ..>_]]] -> [s]
>    | _ -> [] }} in
>  prerr_endline (Ocamlduce.to_string devs);
>
> +1 : this compiles
> -1 : it doesn't work, devs is empty
>
> This is what the first prerr_endline prints:
>
> <domain
>  type="kvm"
>  id="2">[
>  <name>[ 'CentOS5x32' ]
>  <uuid>[ '2ce397d9-1931-feb1-8ad8-15f22c4f18af' ]
>  <memory>[ '524288' ]
>  <currentMemory>[ '524288' ]
>  <vcpu>[ '1' ]
>  <os>[ <type arch="x86_64" machine="pc-0.11">[ 'hvm' ] <boot dev="hd">[ ] ]
>  <features>[ <acpi>[ ] <apic>[ ] <pae>[ ] ]
>  <clock offset="utc">[ ]
>  <on_poweroff>[ 'destroy' ]
>  <on_reboot>[ 'restart' ]
>  <on_crash>[ 'restart' ]
>  <devices>[
>    <emulator>[ '/usr/bin/qemu-kvm' ]
>    <disk
>      type="block"
>      device="disk">[
>      <source dev="/dev/vg_trick/CentOS5x32">[ ]
>      <target bus="ide" dev="hda">[ ]
>      ]
>    <interface
>      type="network">[
>      <mac address="54:52:00:3c:76:11">[ ]
>      <source network="default">[ ]
>      <target dev="vnet0">[ ]
>      ]
>    <serial type="pty">[ <source path="/dev/pts/7">[ ] <target port="0">[ ] ]
>    <console
>      type="pty"
>      tty="/dev/pts/7">[
>      <source path="/dev/pts/7">[ ]
>      <target port="0">[ ]
>      ]
>    <input type="mouse" bus="ps2">[ ]
>    <graphics autoport="yes" port="5900" type="vnc">[ ]
>    <video>[ <model type="cirrus" vram="9216" heads="1">[ ] ]
>    ]
>  ]
>
> and what the second prerr_endline prints:
>
> ""
>
> Rich.
>
> --
> Richard Jones
> Red Hat
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>