Changeset 88 for Deliverables/D4.1/Byte.ml

Timestamp:

Sep 20, 2010, 10:35:53 AM (10 years ago)

Author:

mulligan

Message:

int_of_vect implemented.

File:

• Deliverables/D4.1/Byte.ml (modified) (2 diffs)

Deliverables/D4.1/Byte.ml

@@ -61 +61 @@
   type bit = Bit.bit
   type nibble = Nibble.nibble
-  type byte = nibble * nibble
+  type byte = nibble * nibble(l -&- r) -|- (c -&- (l -^- r)
 
   let from_bits b1 b2 b3 b4 b5 b6 b7 b8 =
@@ -138 +138 @@
   let to_int (n1, n2) =
     let [b1; b2; b3; b4] = Nibble.to_bits n1 in
-    let [b5; b6; b7; b8] = Nibble.to_bits n2 in
+    let [b5; b6; b7;h b8] = Nibble.to_bits n2 in
       (128 * Bit.to_int b8) + (64 * Bit.to_int b8) +
       (32 * Bit.to_int b8) + (16 * Bit.to_int b8) +