viewcvs.cgi/tests/addrbook.cd

type Content = [(Name Addr Tel?)*];;
type Addrbook = <addrbook>Content;;
type Name = <name>[ PCDATA ];;
type Addr = <addr>[ PCDATA ];;
type Tel = <tel>[ PCDATA ];;


<addrbook>[
  <name>"Haruo Hosoya"
  <addr>"Tokyo"
  <name>"Benjamin Pierce"
  <addr>"Philadelphia"
  <tel>"123-456-789"
  <name>"Peter Buneman"
  <addr>"Scotland"
 ];;

(* converting an address book into a telephone list *)

fun mkTelList ([ (Name Addr Tel?)* ] -> [ (Name Tel)* ])
| [ <name>n <addr>a <tel>t ; rest] -> [ <name>n <tel>t ; mkTelList rest] 
| [ <name>n <addr>a; rest] -> mkTelList rest
| [ ] -> [ ]
;;

fun mkTelList (Addrbook -> [ (Name Tel)* ])
<_>[ ( ( (x::Name) Addr (x::Tel) ) | _ )* ] ->  x
;;

fun (Int -> Addrbook) x ->
<addrbook>[
  <name>"Haruo Hosoya"
  <addr>"Tokyo"
  <name>"Benjamin Pierce"
  <addr>"Philadelphia"
  <tel>"123-456-789"
  <name>"Peter Buneman"
  <addr>"Scotland"
 ] 
;;

match <addrbook>[
  <name>"Haruo Hosoya"
  <addr>"Tokyo"
  <name>"Benjamin Pierce"
  <addr>"Philadelphia"
  <tel>"123-456-789"
  <name>"Peter Buneman"
  <addr>"Scotland"
 ] with
<_>[ ( ( (x::Name) Addr (x::Tel) ) | _ )* ] ->  x;;

(*
(* the pattern extract the full sequence of subelements *)
match ex with addrbook:[;a] -> mkTelList a;;
*)

1	type Content = [(Name Addr Tel?)*];;
2	type Addrbook = <addrbook>Content;;
3	type Name = <name>[ PCDATA ];;
4	type Addr = <addr>[ PCDATA ];;
5	type Tel = <tel>[ PCDATA ];;
6
7
8	<addrbook>[
9	<name>"Haruo Hosoya"
10	<addr>"Tokyo"
11	<name>"Benjamin Pierce"
12	<addr>"Philadelphia"
13	<tel>"123-456-789"
14	<name>"Peter Buneman"
15	<addr>"Scotland"
16	];;
17
18	(* converting an address book into a telephone list *)
19
20	fun mkTelList ([ (Name Addr Tel?)* ] -> [ (Name Tel)* ])
21	\| [ <name>n <addr>a <tel>t ; rest] -> [ <name>n <tel>t ; mkTelList rest]
22	\| [ <name>n <addr>a; rest] -> mkTelList rest
23	\| [ ] -> [ ]
24	;;
25
26	fun mkTelList (Addrbook -> [ (Name Tel)* ])
27	<_>[ ( ( (x::Name) Addr (x::Tel) ) \| _ )* ] -> x
28	;;
29
30	fun (Int -> Addrbook) x ->
31	<addrbook>[
32	<name>"Haruo Hosoya"
33	<addr>"Tokyo"
34	<name>"Benjamin Pierce"
35	<addr>"Philadelphia"
36	<tel>"123-456-789"
37	<name>"Peter Buneman"
38	<addr>"Scotland"
39	]
40	;;
41
42	match <addrbook>[
43	<name>"Haruo Hosoya"
44	<addr>"Tokyo"
45	<name>"Benjamin Pierce"
46	<addr>"Philadelphia"
47	<tel>"123-456-789"
48	<name>"Peter Buneman"
49	<addr>"Scotland"
50	] with
51	<_>[ ( ( (x::Name) Addr (x::Tel) ) \| _ )* ] -> x;;
52
53	(*
54	(* the pattern extract the full sequence of subelements *)
55	match ex with addrbook:[;a] -> mkTelList a;;
56	*)
57