Changeset 3106 for driver/extracted/toRTLabs.ml
 Timestamp:
 Apr 6, 2013, 7:35:25 PM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

driver/extracted/toRTLabs.ml
r3059 r3106 121 121 List.foldr (fun idt rsengen > 122 122 let { Types.fst = id; Types.snd = ty } = idt in 123 let { Types.fst = eta28 59; Types.snd = gen0 } = rsengen in124 let { Types.fst = rs; Types.snd = en0 } = eta28 59in123 let { Types.fst = eta2881; Types.snd = gen0 } = rsengen in 124 let { Types.fst = rs; Types.snd = en0 } = eta2881 in 125 125 let { Types.fst = r; Types.snd = gen' } = 126 126 Identifiers.fresh PreIdentifiers.RegisterTag gen0 … … 1345 1345 let reggen0 = Identifiers.new_universe PreIdentifiers.RegisterTag in 1346 1346 let cminor_labels = Cminor_syntax.labels_of f.Cminor_syntax.f_body in 1347 (let { Types.fst = eta3 086; Types.snd = reggen1 } =1347 (let { Types.fst = eta3108; Types.snd = reggen1 } = 1348 1348 populate_env (Identifiers.empty_map PreIdentifiers.SymbolTag) reggen0 1349 1349 f.Cminor_syntax.f_params 1350 1350 in 1351 let { Types.fst = params; Types.snd = env1 } = eta3 086in1351 let { Types.fst = params; Types.snd = env1 } = eta3108 in 1352 1352 (fun _ > 1353 (let { Types.fst = eta3 085; Types.snd = reggen2 } =1353 (let { Types.fst = eta3107; Types.snd = reggen2 } = 1354 1354 populate_env env1 reggen1 f.Cminor_syntax.f_vars 1355 1355 in 1356 let { Types.fst = locals0; Types.snd = env0 } = eta3 085in1356 let { Types.fst = locals0; Types.snd = env0 } = eta3107 in 1357 1357 (fun _ > 1358 1358 (let { Types.dpi1 = locals_reggen; Types.dpi2 = result } =
Note: See TracChangeset
for help on using the changeset viewer.