Changeset 98

Timestamp:

Sep 21, 2010, 2:21:25 PM (10 years ago)

Author:

mulligan

Message:

preliminary pretty-printing function (no usable output)

Location:

Deliverables/D4.1

Files:

• BitVectors.ml (modified) (2 diffs)
• BitVectors.mli (modified) (1 diff)
• pretty.ml (added)
• pretty.mli (added)

Deliverables/D4.1/BitVectors.ml

@@ -62 +62 @@
 let map2_bits = List.map2
 
-let string_of_vect l =
- String.concat "" (List.map (function false -> "0" | true -> "1") l)
+let string_of_bit = function false -> "0" | true -> "1"
+let string_of_vect l = String.concat "" (List.map string_of_bit l)
 
 let full_add l r c = List.fold_right2 (fun b1 b2 (c,r) -> b1 & b2 || c & (b1 || b2),xor (xor b1 b2) c::r) l r (c,[])
@@ -100 +100 @@
   in
     aux 1 (List.rev v)
+
+let string_of_vect v =
+ String.concat "" (List.map (function false -> "0" | _ -> "1") v)
 
 let size_lookup =

Deliverables/D4.1/BitVectors.mli

@@ -29 +29 @@
 val int_of_vect: 'a vect -> int
 val vect_of_int: int -> ([< sizes] as 'a) -> 'a vect
+val string_of_vect: 'a vect -> string
+val string_of_bit: bit -> string
 
 val (-&-): 'a vect -> 'a vect -> 'a vect