Ignore:
Timestamp:
Sep 27, 2010, 4:19:28 PM (10 years ago)
Author:
mulligan
Message:

Bug noticed in string conversion routine. Note added.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/BitVectors.ml

    r98 r137  
    132132        true :: aux d
    133133
    134 let rec pad i l =
    135   match i with
    136     0 -> l
    137   | n -> false :: (pad (i - 1) l)
    138 
    139134let vect_of_int i size =
    140135  let big_list = List.rev (aux i) in
     
    143138    else
    144139      let diff = (size_lookup size) - (List.length big_list) in
    145         pad diff big_list
     140        pad false diff big_list
    146141   
    147 let zero size = pad (size_lookup size) []
     142let zero size = pad false (size_lookup size) []
Note: See TracChangeset for help on using the changeset viewer.