X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=tests%2F05_bits.ml;h=829643cbc8c761da67306d7184ed329865bc905f;hb=18a624e4d05c8e6129cdd107d91222e2a2544a1e;hp=df5952719a7e1bcad5276caaf7d254ec13e481fa;hpb=e3bd7e70911c1afb5ad31d2368ed94961a973f62;p=ocaml-bitstring.git

diff --git a/tests/05_bits.ml b/tests/05_bits.ml
index df59527..829643c 100644
--- a/tests/05_bits.ml
+++ b/tests/05_bits.ml
@@ -1,22 +1,23 @@
 (* Extract bits.
- * $Id: 05_bits.ml,v 1.1 2008-03-31 22:52:17 rjones Exp $
+ * $Id: 05_bits.ml,v 1.3 2008-04-25 11:08:43 rjones Exp $
  *)
 
-open Printf
-
 let bits = Bitmatch.make_bitstring 24 '\x5a' (* makes the string 0x5a5a5a *)
 
 let () =
   bitmatch bits with
-  | b0  : 1; b1  : 1; b2  : 1; b3  : 1; b4  : 1; b5  : 1; b6  : 1; b7  : 1;
-    b8  : 1; b9  : 1; b10 : 1; b11 : 1; b12 : 1; b13 : 1; b14 : 1; b15 : 1;
-    b16 : 1; b17 : 1; b18 : 1; b19 : 1; b20 : 1; b21 : 1; b22 : 1; b23 : 1;
-    rest : -1 : bitstring ->
-      assert (not b0 && b1 && not b2 && b3 && b4 && not b5 && b6 && not b7);
-      assert (not b8 && b9 && not b10 && b11 && b12 && not b13 && b14 && not b15);
-      assert (not b16 && b17 && not b18 && b19 && b20 && not b21 && b22 && not b23);
+  | { b0  : 1; b1  : 1; b2  : 1; b3  : 1; b4  : 1; b5  : 1; b6  : 1; b7  : 1;
+      b8  : 1; b9  : 1; b10 : 1; b11 : 1; b12 : 1; b13 : 1; b14 : 1; b15 : 1;
+      b16 : 1; b17 : 1; b18 : 1; b19 : 1; b20 : 1; b21 : 1; b22 : 1; b23 : 1;
+      rest : -1 : bitstring } ->
+      assert (not b0 && b1 && not b2 && b3 && (* 0x5 *)
+		b4 && not b5 && b6 && not b7); (* 0xA *)
+      assert (not b8 && b9 && not b10 && b11 && (* 0x5 *)
+		b12 && not b13 && b14 && not b15); (* 0xA *)
+      assert (not b16 && b17 && not b18 && b19 && (* 0x5 *)
+		b20 && not b21 && b22 && not b23); (* 0xA *)
       let _, off, len = rest in
-      assert (off = 24 && len = 0)
+      assert (off = 24 && len = 0) (* no further data *)
 
-  | _ ->
+  | { _ } ->
       failwith "error: did not match\n"