Ignore:
Timestamp:
Jan 18, 2011, 7:23:28 PM (9 years ago)
Author:
sacerdot
Message:

CSC + Nicolas + Dominic:

1) back-porting of changes by Nicolas from the compiler
2) new file ASMCosts to compute the cost of labels
3) several changes here and there to implement 2)

File:
1 edited

Legend:

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

    r137 r454  
    2929  in
    3030    List.rev $ aux s 0 []
     31
     32let fold_lefti f =
     33 let rec aux i acc =
     34  function
     35     [] -> acc
     36   | he::tl -> aux (i+1) (f i acc he) tl
     37 in
     38  aux 0
     39;;
     40
Note: See TracChangeset for help on using the changeset viewer.