Changeset 3059 for extracted/fetch.ml


Ignore:
Timestamp:
Apr 2, 2013, 1:25:09 AM (7 years ago)
Author:
sacerdot
Message:

New extraction

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/fetch.ml

    r3043 r3059  
    9898  (Types.pi1
    9999    (FoldStuff.foldl_strong program (fun prefix x tl _ labels_costs_ppc ->
    100       (let { Types.fst = eta19; Types.snd = ppc } =
     100      (let { Types.fst = eta28695; Types.snd = ppc } =
    101101         Types.pi1 labels_costs_ppc
    102102       in
    103103      (fun _ ->
    104       (let { Types.fst = labels; Types.snd = costs } = eta19 in
     104      (let { Types.fst = labels; Types.snd = costs } = eta28695 in
    105105      (fun _ ->
    106106      (let { Types.fst = label; Types.snd = instr } = x in
Note: See TracChangeset for help on using the changeset viewer.