X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=tests%2F70_check_and_bind.ml;h=a63ee6b08ad1f32b10da64f69e9203864e30d46c;hb=80fd187cbf946133e98ca32d351c33132ce3ea47;hp=14ad8363f854a56adb59cd582942ec74c9599372;hpb=e7ab5952e9a51128b17ff2a054f2cfb9bb3baba4;p=ocaml-bitstring.git diff --git a/tests/70_check_and_bind.ml b/tests/70_check_and_bind.ml index 14ad836..a63ee6b 100644 --- a/tests/70_check_and_bind.ml +++ b/tests/70_check_and_bind.ml @@ -3,14 +3,14 @@ *) open Printf -open Bitmatch +open Bitstring let bits = (BITSTRING { 101 : 16; 202 : 16 }) let () = bitmatch bits with - | { i : 16 : check (i > 100), bind (i*4); - j : 16 : check (j > 200) } -> + | { i : 16 : check (i = 101), bind (i*4); + j : 16 : check (j = 202) } -> if i <> 404 || j <> 202 then failwith (sprintf "70_check_and_bind: failed: %d %d" i j) | { _ } ->