Ignore:
Timestamp:
Sep 21, 2010, 1:51:59 PM (10 years ago)
Author:
mulligan
Message:

Move to polymorphic variants everywhere (scary...)

File:
1 edited

Legend:

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

    r95 r97  
    2020    b1::b2::b3::b4::r -> [b1;b2;b3;b4],r
    2121  | _ -> assert false
     22let bits_of_byte =
     23 function
     24    [b1;b2;b3;b4;b5;b6;b7;b8] -> (b1,b2,b3,b4),(b5,b6,b7,b8)
     25  | _ -> assert false
    2226let mk_byte7 b1 b2 b3 n1 = b1::b2::b3::n1
    2327let from_byte7 =
     
    3236let mk_word11 = mk_byte7
    3337let from_word11 = from_byte7
    34 
    35 let to_bits l = l
    3638
    3739let get_bit index l =
Note: See TracChangeset for help on using the changeset viewer.