viewcvs.cgi/tests/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>[String];;

type Man = <man>[ Name Sons Daughters ];;
type Woman = <woman>[ Name Sons Daughters ];;
type Sons = <sons>[ Man* ];;
type Daughters = <daughters>[ Woman* ];;

let fun sort (MPerson \(\synarrow\) Man ; FPerson \(\synarrow\) Woman)
   <person gender=g>[ n <children>[(mc::MPerson | fc::FPerson)*] ] \mred
       let tag = match g with "M" \mred `man | "F" \mred `woman in
       let s = map mc with x \mred sort x in
       let d = map fc with x \mred sort x in    
           <(tag)>[ n  <sons>s  <daughters>d ];;
1	abate	34	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>[String];;
6
7			type Man = <man>[ Name Sons Daughters ];;
8			type Woman = <woman>[ Name Sons Daughters ];;
9			type Sons = <sons>[ Man* ];;
10			type Daughters = <daughters>[ Woman* ];;
11
12			let fun sort (MPerson \(\synarrow\) Man ; FPerson \(\synarrow\) Woman)
13			<person gender=g>[ n <children>[(mc::MPerson \| fc::FPerson)*] ] \mred
14			let tag = match g with "M" \mred `man \| "F" \mred `woman in
15			let s = map mc with x \mred sort x in
16			let d = map fc with x \mred sort x in
17			<(tag)>[ n <sons>s <daughters>d ];;