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