Changeset 2743 for extracted/aSMCosts.ml


Ignore:
Timestamp:
Feb 27, 2013, 9:27:58 PM (7 years ago)
Author:
sacerdot
Message:

Latest version of the compiler, extracted with the latest version of Matita.
Some files still need some manual patching to avoid an extraction bug
(see PROBLEMS file).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/aSMCosts.ml

    r2730 r2743  
    187187   | Nat.S program_size' ->
    188188     (fun _ ->
    189        (let { Types.fst = eta25074; Types.snd = ticks } =
     189       (let { Types.fst = eta31746; Types.snd = ticks } =
    190190          Fetch.fetch code_memory' program_counter'
    191191        in
    192192       let { Types.fst = instruction0; Types.snd = program_counter'' } =
    193          eta25074
     193         eta31746
    194194       in
    195195       (fun _ ->
Note: See TracChangeset for help on using the changeset viewer.