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