[Demexp-dev] Re: Interface between OCaml and Cduce

[Serge Leblanc]

On Sat, 2004-12-04 at 17:25 +0100, David MENTRE wrote:

>  4. in the definition of "type Xml_participant", it should be
>     "Xml_group*" and not "Xml_group+": the groups are optional.

Here a patch.

--
pub  1024D/73791C2B 2002-09-30 Serge Leblanc <address@hidden>
 Primary key fingerprint: 8E0C 0D6D E026 A278 9278  BF4F 1A93 D552 7379 1C2B

11c11
< type Xml_participant = <participant p_id=Xml_id kind=Xml_kind>[ Xml_login 
Xml_password Xml_group+ ] ;;
---
> type Xml_participant = <participant p_id=Xml_id kind=Xml_kind>[ Xml_login 
> Xml_password Xml_group* ] ;;
127,129c127,128
<   let trans_groups ([ Ocaml_string* ] -> [ Xml_group+ ])
<       g&[Ocaml_string+] -> (map g with s&Latin1 -> <group>s)
<     | [] -> raise "inadmissible empty participant groups"
---
>   let trans_groups (g : [ Ocaml_string* ]) : [ Xml_group* ] =
>      map g with s&Latin1 -> <group>s

signature.asc
Description: This is a digitally signed message part