Ignore:
Timestamp:
Apr 6, 2013, 7:35:25 PM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/extracted/toRTLabs.ml

    r3059 r3106  
    121121  List.foldr (fun idt rsengen ->
    122122    let { Types.fst = id; Types.snd = ty } = idt in
    123     let { Types.fst = eta2859; Types.snd = gen0 } = rsengen in
    124     let { Types.fst = rs; Types.snd = en0 } = eta2859 in
     123    let { Types.fst = eta2881; Types.snd = gen0 } = rsengen in
     124    let { Types.fst = rs; Types.snd = en0 } = eta2881 in
    125125    let { Types.fst = r; Types.snd = gen' } =
    126126      Identifiers.fresh PreIdentifiers.RegisterTag gen0
     
    13451345  let reggen0 = Identifiers.new_universe PreIdentifiers.RegisterTag in
    13461346  let cminor_labels = Cminor_syntax.labels_of f.Cminor_syntax.f_body in
    1347   (let { Types.fst = eta3086; Types.snd = reggen1 } =
     1347  (let { Types.fst = eta3108; Types.snd = reggen1 } =
    13481348     populate_env (Identifiers.empty_map PreIdentifiers.SymbolTag) reggen0
    13491349       f.Cminor_syntax.f_params
    13501350   in
    1351   let { Types.fst = params; Types.snd = env1 } = eta3086 in
     1351  let { Types.fst = params; Types.snd = env1 } = eta3108 in
    13521352  (fun _ ->
    1353   (let { Types.fst = eta3085; Types.snd = reggen2 } =
     1353  (let { Types.fst = eta3107; Types.snd = reggen2 } =
    13541354     populate_env env1 reggen1 f.Cminor_syntax.f_vars
    13551355   in
    1356   let { Types.fst = locals0; Types.snd = env0 } = eta3085 in
     1356  let { Types.fst = locals0; Types.snd = env0 } = eta3107 in
    13571357  (fun _ ->
    13581358  (let { Types.dpi1 = locals_reggen; Types.dpi2 = result } =
Note: See TracChangeset for help on using the changeset viewer.