X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=tests%2F60_ping.ml;h=1954de15402ed99e5d9d766ce3738fa2175a44f0;hb=9005889d10eb7c47a950402b5c3d606947c7e653;hp=c3a380eae5c95286f00881dbd61a5be810eb19ed;hpb=0821f08e4234583f25f8a7fbaf6df3375c4991c9;p=ocaml-bitstring.git

diff --git a/tests/60_ping.ml b/tests/60_ping.ml
index c3a380e..1954de1 100644
--- a/tests/60_ping.ml
+++ b/tests/60_ping.ml
@@ -1,21 +1,21 @@
 (* Read in IPv4 and IPv6 ping packets and display them.
- * $Id: 60_ping.ml,v 1.1 2008-04-01 10:58:53 rjones Exp $
+ * $Id: 60_ping.ml,v 1.2 2008-04-01 15:22:46 rjones Exp $
  *)
 
 open Printf
 
 let display pkt =
   bitmatch pkt with
-  | version : 4; hdrlen : 4; tos : 8; length : 16;
+  (* IPv4 packet header *)
+  | 4 : 4; hdrlen : 4; tos : 8; length : 16;
     identification : 16; flags : 3; fragoffset : 13;
     ttl : 8; protocol : 8; checksum : 16;
     source : 32;
     dest : 32;
     options : (hdrlen-5)*32 : bitstring;
-    payload : -1 : bitstring
-      when version = 4 ->
+    payload : -1 : bitstring ->
 
-    printf "IPv%d:\n" version;		(* IPv4 packet *)
+    printf "IPv4:\n";
     printf "  header length: %d * 32 bit words\n" hdrlen;
     printf "  type of service: %d\n" tos;
     printf "  packet length: %d bytes\n" length;
@@ -31,14 +31,14 @@ let display pkt =
     printf "  packet payload:\n";
     Bitmatch.hexdump_bitstring stdout payload
 
-  | version : 4; tclass : 8; flow : 20;
+  (* IPv6 packet header *)
+  | 6 : 4; tclass : 8; flow : 20;
     length : 16; nexthdr : 8; ttl : 8;
     source : 128 : bitstring;
     dest : 128 : bitstring;
-    payload : -1 : bitstring
-      when version = 6 ->
+    payload : -1 : bitstring ->
 
-    printf "IPv%d:\n" version;		(* IPv6 packet *)
+    printf "IPv6:\n";
     printf "  traffic class: %d\n" tclass;
     printf "  flow label: %d\n" flow;
     printf "  packet (payload) length: %d bytes\n" length;