1(* Dummy substitute function. *)
2
3open Testing;;
4open Buffer;;
5
6let identity s = s;;
7
8let b = Buffer.create 100;;
9
10(* Pattern with a '\\' character in it. *)
11let pat0 = "\\\\a" in
12let n0 = String.length pat0 in
13
14Buffer.add_substitute b identity pat0;
15
16test (String.length (Buffer.contents b) = n0)
17;;
18
19(* Pattern with a '\\' character at the end. *)
20let pat1 = "b\\" in
21let n1 = String.length pat1 in
22
23Buffer.clear b;
24Buffer.add_substitute b identity pat1;
25test (String.length (Buffer.contents b) = n1)
26;;
27