Ignore:
Timestamp:
Mar 8, 2013, 9:07:28 PM (7 years ago)
Author:
sacerdot
Message:

Everything extracted again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/globalenvs.ml

    r2797 r2827  
    9898    ('a1 PositiveMap.positive_map -> Positive.pos -> Pointers.block
    9999    Identifiers.identifier_map -> __ -> 'a2) -> 'a1 genv_t -> 'a2 **)
    100 let rec genv_t_rect_Type4 h_mk_genv_t x_6452 =
     100let rec genv_t_rect_Type4 h_mk_genv_t x_6569 =
    101101  let { functions = functions0; nextfunction = nextfunction0; symbols =
    102     symbols0 } = x_6452
     102    symbols0 } = x_6569
    103103  in
    104104  h_mk_genv_t functions0 nextfunction0 symbols0 __
     
    107107    ('a1 PositiveMap.positive_map -> Positive.pos -> Pointers.block
    108108    Identifiers.identifier_map -> __ -> 'a2) -> 'a1 genv_t -> 'a2 **)
    109 let rec genv_t_rect_Type5 h_mk_genv_t x_6454 =
     109let rec genv_t_rect_Type5 h_mk_genv_t x_6571 =
    110110  let { functions = functions0; nextfunction = nextfunction0; symbols =
    111     symbols0 } = x_6454
     111    symbols0 } = x_6571
    112112  in
    113113  h_mk_genv_t functions0 nextfunction0 symbols0 __
     
    116116    ('a1 PositiveMap.positive_map -> Positive.pos -> Pointers.block
    117117    Identifiers.identifier_map -> __ -> 'a2) -> 'a1 genv_t -> 'a2 **)
    118 let rec genv_t_rect_Type3 h_mk_genv_t x_6456 =
     118let rec genv_t_rect_Type3 h_mk_genv_t x_6573 =
    119119  let { functions = functions0; nextfunction = nextfunction0; symbols =
    120     symbols0 } = x_6456
     120    symbols0 } = x_6573
    121121  in
    122122  h_mk_genv_t functions0 nextfunction0 symbols0 __
     
    125125    ('a1 PositiveMap.positive_map -> Positive.pos -> Pointers.block
    126126    Identifiers.identifier_map -> __ -> 'a2) -> 'a1 genv_t -> 'a2 **)
    127 let rec genv_t_rect_Type2 h_mk_genv_t x_6458 =
     127let rec genv_t_rect_Type2 h_mk_genv_t x_6575 =
    128128  let { functions = functions0; nextfunction = nextfunction0; symbols =
    129     symbols0 } = x_6458
     129    symbols0 } = x_6575
    130130  in
    131131  h_mk_genv_t functions0 nextfunction0 symbols0 __
     
    134134    ('a1 PositiveMap.positive_map -> Positive.pos -> Pointers.block
    135135    Identifiers.identifier_map -> __ -> 'a2) -> 'a1 genv_t -> 'a2 **)
    136 let rec genv_t_rect_Type1 h_mk_genv_t x_6460 =
     136let rec genv_t_rect_Type1 h_mk_genv_t x_6577 =
    137137  let { functions = functions0; nextfunction = nextfunction0; symbols =
    138     symbols0 } = x_6460
     138    symbols0 } = x_6577
    139139  in
    140140  h_mk_genv_t functions0 nextfunction0 symbols0 __
     
    143143    ('a1 PositiveMap.positive_map -> Positive.pos -> Pointers.block
    144144    Identifiers.identifier_map -> __ -> 'a2) -> 'a1 genv_t -> 'a2 **)
    145 let rec genv_t_rect_Type0 h_mk_genv_t x_6462 =
     145let rec genv_t_rect_Type0 h_mk_genv_t x_6579 =
    146146  let { functions = functions0; nextfunction = nextfunction0; symbols =
    147     symbols0 } = x_6462
     147    symbols0 } = x_6579
    148148  in
    149149  h_mk_genv_t functions0 nextfunction0 symbols0 __
     
    314314let add_globals extract_init init_env vars =
    315315  Util.foldl (fun g_st id_init ->
    316     let { Types.fst = eta1339; Types.snd = init_info } = id_init in
    317     let { Types.fst = id; Types.snd = r } = eta1339 in
     316    let { Types.fst = eta1341; Types.snd = init_info } = id_init in
     317    let { Types.fst = id; Types.snd = r } = eta1341 in
    318318    let init = extract_init init_info in
    319319    let { Types.fst = g; Types.snd = st } = g_st in
     
    330330let init_globals extract_init g m vars =
    331331  Util.foldl (fun st id_init ->
    332     let { Types.fst = eta1340; Types.snd = init_info } = id_init in
    333     let { Types.fst = id; Types.snd = r } = eta1340 in
     332    let { Types.fst = eta1342; Types.snd = init_info } = id_init in
     333    let { Types.fst = id; Types.snd = r } = eta1342 in
    334334    let init = extract_init init_info in
    335335    Obj.magic
Note: See TracChangeset for help on using the changeset viewer.