viewcvs.cgi/web/overloading.cd

type Person   = FPerson | MPerson 
type FPerson  = <person gender = "F">[ Name Children ] 
type MPerson  = <person gender = "M">[ Name Children ] 
type Children = <children>[ Person* ] 
type Name     = <name>[ PCDATA ]

type Man       = <man name=String>[ Sons Daughters ]
type Woman     = <woman name=String>[ Sons Daughters ]
type Sons      = <sons>[ Man* ]
type Daughters = <daughters>[ Woman* ]

let fun split ({{MPerson -> Man ; FPerson -> Woman}})
  <person gender=g>[ <name>n <children>[(mc::MPerson | fc::FPerson)*] ] ->
  (* the above pattern collects all the MPerson in mc, and all the FPerson in fc *)
     let tag = match g with "F" -> `woman | "M" -> `man in
     let s = map mc with x -> split x in
     let d = map fc with x -> split x in        
     <(tag) name=n>[ <sons>s  <daughters>d ] ;; 
1	type Person = FPerson \| MPerson
2	type FPerson = <person gender = "F">[ Name Children ]
3	type MPerson = <person gender = "M">[ Name Children ]
4	type Children = <children>[ Person* ]
5	type Name = <name>[ PCDATA ]
6
7	type Man = <man name=String>[ Sons Daughters ]
8	type Woman = <woman name=String>[ Sons Daughters ]
9	type Sons = <sons>[ Man* ]
10	type Daughters = <daughters>[ Woman* ]
11
12	let fun split ({{MPerson -> Man ; FPerson -> Woman}})
13	<person gender=g>[ <name>n <children>[(mc::MPerson \| fc::FPerson)*] ] ->
14	(* the above pattern collects all the MPerson in mc, and all the FPerson in fc *)
15	let tag = match g with "F" -> `woman \| "M" -> `man in
16	let s = map mc with x -> split x in
17	let d = map fc with x -> split x in
18	<(tag) name=n>[ <sons>s <daughters>d ] ;;