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/joint_printer.ml

    r3043 r3106  
    433433    BitVector.bitVector -> 'a1) -> 'a2) -> 'a1
    434434    printing_pass_independent_params -> 'a2 **)
    435 let rec printing_pass_independent_params_rect_Type4 h_mk_printing_pass_independent_params x_263 =
     435let rec printing_pass_independent_params_rect_Type4 h_mk_printing_pass_independent_params x_25506 =
    436436  let { print_String = print_String0; print_keyword = print_keyword0;
    437437    print_concat = print_concat0; print_empty = print_empty0; print_ident =
     
    439439    print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
    440440    print_Op2 = print_Op4; print_nat = print_nat0; print_bitvector =
    441     print_bitvector0 } = x_263
     441    print_bitvector0 } = x_25506
    442442  in
    443443  h_mk_printing_pass_independent_params print_String0 print_keyword0
     
    452452    BitVector.bitVector -> 'a1) -> 'a2) -> 'a1
    453453    printing_pass_independent_params -> 'a2 **)
    454 let rec printing_pass_independent_params_rect_Type5 h_mk_printing_pass_independent_params x_265 =
     454let rec printing_pass_independent_params_rect_Type5 h_mk_printing_pass_independent_params x_25508 =
    455455  let { print_String = print_String0; print_keyword = print_keyword0;
    456456    print_concat = print_concat0; print_empty = print_empty0; print_ident =
     
    458458    print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
    459459    print_Op2 = print_Op4; print_nat = print_nat0; print_bitvector =
    460     print_bitvector0 } = x_265
     460    print_bitvector0 } = x_25508
    461461  in
    462462  h_mk_printing_pass_independent_params print_String0 print_keyword0
     
    471471    BitVector.bitVector -> 'a1) -> 'a2) -> 'a1
    472472    printing_pass_independent_params -> 'a2 **)
    473 let rec printing_pass_independent_params_rect_Type3 h_mk_printing_pass_independent_params x_267 =
     473let rec printing_pass_independent_params_rect_Type3 h_mk_printing_pass_independent_params x_25510 =
    474474  let { print_String = print_String0; print_keyword = print_keyword0;
    475475    print_concat = print_concat0; print_empty = print_empty0; print_ident =
     
    477477    print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
    478478    print_Op2 = print_Op4; print_nat = print_nat0; print_bitvector =
    479     print_bitvector0 } = x_267
     479    print_bitvector0 } = x_25510
    480480  in
    481481  h_mk_printing_pass_independent_params print_String0 print_keyword0
     
    490490    BitVector.bitVector -> 'a1) -> 'a2) -> 'a1
    491491    printing_pass_independent_params -> 'a2 **)
    492 let rec printing_pass_independent_params_rect_Type2 h_mk_printing_pass_independent_params x_269 =
     492let rec printing_pass_independent_params_rect_Type2 h_mk_printing_pass_independent_params x_25512 =
    493493  let { print_String = print_String0; print_keyword = print_keyword0;
    494494    print_concat = print_concat0; print_empty = print_empty0; print_ident =
     
    496496    print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
    497497    print_Op2 = print_Op4; print_nat = print_nat0; print_bitvector =
    498     print_bitvector0 } = x_269
     498    print_bitvector0 } = x_25512
    499499  in
    500500  h_mk_printing_pass_independent_params print_String0 print_keyword0
     
    509509    BitVector.bitVector -> 'a1) -> 'a2) -> 'a1
    510510    printing_pass_independent_params -> 'a2 **)
    511 let rec printing_pass_independent_params_rect_Type1 h_mk_printing_pass_independent_params x_271 =
     511let rec printing_pass_independent_params_rect_Type1 h_mk_printing_pass_independent_params x_25514 =
    512512  let { print_String = print_String0; print_keyword = print_keyword0;
    513513    print_concat = print_concat0; print_empty = print_empty0; print_ident =
     
    515515    print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
    516516    print_Op2 = print_Op4; print_nat = print_nat0; print_bitvector =
    517     print_bitvector0 } = x_271
     517    print_bitvector0 } = x_25514
    518518  in
    519519  h_mk_printing_pass_independent_params print_String0 print_keyword0
     
    528528    BitVector.bitVector -> 'a1) -> 'a2) -> 'a1
    529529    printing_pass_independent_params -> 'a2 **)
    530 let rec printing_pass_independent_params_rect_Type0 h_mk_printing_pass_independent_params x_273 =
     530let rec printing_pass_independent_params_rect_Type0 h_mk_printing_pass_independent_params x_25516 =
    531531  let { print_String = print_String0; print_keyword = print_keyword0;
    532532    print_concat = print_concat0; print_empty = print_empty0; print_ident =
     
    534534    print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
    535535    print_Op2 = print_Op4; print_nat = print_nat0; print_bitvector =
    536     print_bitvector0 } = x_273
     536    print_bitvector0 } = x_25516
    537537  in
    538538  h_mk_printing_pass_independent_params print_String0 print_keyword0
     
    684684    -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
    685685    printing_params -> 'a2 **)
    686 let rec printing_params_rect_Type4 p h_mk_printing_params x_301 =
     686let rec printing_params_rect_Type4 p h_mk_printing_params x_25544 =
    687687  let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
    688688    print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
     
    692692    print_pair_move = print_pair_move0; print_call_args = print_call_args0;
    693693    print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
    694     x_301
     694    x_25544
    695695  in
    696696  h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
     
    705705    -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
    706706    printing_params -> 'a2 **)
    707 let rec printing_params_rect_Type5 p h_mk_printing_params x_303 =
     707let rec printing_params_rect_Type5 p h_mk_printing_params x_25546 =
    708708  let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
    709709    print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
     
    713713    print_pair_move = print_pair_move0; print_call_args = print_call_args0;
    714714    print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
    715     x_303
     715    x_25546
    716716  in
    717717  h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
     
    726726    -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
    727727    printing_params -> 'a2 **)
    728 let rec printing_params_rect_Type3 p h_mk_printing_params x_305 =
     728let rec printing_params_rect_Type3 p h_mk_printing_params x_25548 =
    729729  let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
    730730    print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
     
    734734    print_pair_move = print_pair_move0; print_call_args = print_call_args0;
    735735    print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
    736     x_305
     736    x_25548
    737737  in
    738738  h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
     
    747747    -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
    748748    printing_params -> 'a2 **)
    749 let rec printing_params_rect_Type2 p h_mk_printing_params x_307 =
     749let rec printing_params_rect_Type2 p h_mk_printing_params x_25550 =
    750750  let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
    751751    print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
     
    755755    print_pair_move = print_pair_move0; print_call_args = print_call_args0;
    756756    print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
    757     x_307
     757    x_25550
    758758  in
    759759  h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
     
    768768    -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
    769769    printing_params -> 'a2 **)
    770 let rec printing_params_rect_Type1 p h_mk_printing_params x_309 =
     770let rec printing_params_rect_Type1 p h_mk_printing_params x_25552 =
    771771  let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
    772772    print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
     
    776776    print_pair_move = print_pair_move0; print_call_args = print_call_args0;
    777777    print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
    778     x_309
     778    x_25552
    779779  in
    780780  h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
     
    789789    -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
    790790    printing_params -> 'a2 **)
    791 let rec printing_params_rect_Type0 p h_mk_printing_params x_311 =
     791let rec printing_params_rect_Type0 p h_mk_printing_params x_25554 =
    792792  let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
    793793    print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
     
    797797    print_pair_move = print_pair_move0; print_call_args = print_call_args0;
    798798    print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
    799     x_311
     799    x_25554
    800800  in
    801801  h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
     
    970970    Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
    971971    print_serialization_params -> 'a2 **)
    972 let rec print_serialization_params_rect_Type4 p h_mk_print_serialization_params x_340 =
     972let rec print_serialization_params_rect_Type4 p h_mk_print_serialization_params x_25583 =
    973973  let { print_succ = print_succ0; print_code_point = print_code_point0 } =
    974     x_340
     974    x_25583
    975975  in
    976976  h_mk_print_serialization_params print_succ0 print_code_point0
     
    979979    Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
    980980    print_serialization_params -> 'a2 **)
    981 let rec print_serialization_params_rect_Type5 p h_mk_print_serialization_params x_342 =
     981let rec print_serialization_params_rect_Type5 p h_mk_print_serialization_params x_25585 =
    982982  let { print_succ = print_succ0; print_code_point = print_code_point0 } =
    983     x_342
     983    x_25585
    984984  in
    985985  h_mk_print_serialization_params print_succ0 print_code_point0
     
    988988    Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
    989989    print_serialization_params -> 'a2 **)
    990 let rec print_serialization_params_rect_Type3 p h_mk_print_serialization_params x_344 =
     990let rec print_serialization_params_rect_Type3 p h_mk_print_serialization_params x_25587 =
    991991  let { print_succ = print_succ0; print_code_point = print_code_point0 } =
    992     x_344
     992    x_25587
    993993  in
    994994  h_mk_print_serialization_params print_succ0 print_code_point0
     
    997997    Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
    998998    print_serialization_params -> 'a2 **)
    999 let rec print_serialization_params_rect_Type2 p h_mk_print_serialization_params x_346 =
     999let rec print_serialization_params_rect_Type2 p h_mk_print_serialization_params x_25589 =
    10001000  let { print_succ = print_succ0; print_code_point = print_code_point0 } =
    1001     x_346
     1001    x_25589
    10021002  in
    10031003  h_mk_print_serialization_params print_succ0 print_code_point0
     
    10061006    Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
    10071007    print_serialization_params -> 'a2 **)
    1008 let rec print_serialization_params_rect_Type1 p h_mk_print_serialization_params x_348 =
     1008let rec print_serialization_params_rect_Type1 p h_mk_print_serialization_params x_25591 =
    10091009  let { print_succ = print_succ0; print_code_point = print_code_point0 } =
    1010     x_348
     1010    x_25591
    10111011  in
    10121012  h_mk_print_serialization_params print_succ0 print_code_point0
     
    10151015    Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
    10161016    print_serialization_params -> 'a2 **)
    1017 let rec print_serialization_params_rect_Type0 p h_mk_print_serialization_params x_350 =
     1017let rec print_serialization_params_rect_Type0 p h_mk_print_serialization_params x_25593 =
    10181018  let { print_succ = print_succ0; print_code_point = print_code_point0 } =
    1019     x_350
     1019    x_25593
    10201020  in
    10211021  h_mk_print_serialization_params print_succ0 print_code_point0
     
    10951095    (__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __ -> __) -> ('a2 -> 'a1)
    10961096    -> 'a3) -> ('a1, 'a2) code_iteration_params -> 'a3 **)
    1097 let rec code_iteration_params_rect_Type4 p globals h_mk_code_iteration_params x_368 =
     1097let rec code_iteration_params_rect_Type4 p globals h_mk_code_iteration_params x_25611 =
    10981098  let { cip_print_serialization_params = cip_print_serialization_params0;
    1099     fold_code = fold_code0; print_statementT = print_statementT0 } = x_368
     1099    fold_code = fold_code0; print_statementT = print_statementT0 } = x_25611
    11001100  in
    11011101  h_mk_code_iteration_params cip_print_serialization_params0 fold_code0
     
    11061106    (__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __ -> __) -> ('a2 -> 'a1)
    11071107    -> 'a3) -> ('a1, 'a2) code_iteration_params -> 'a3 **)
    1108 let rec code_iteration_params_rect_Type5 p globals h_mk_code_iteration_params x_370 =
     1108let rec code_iteration_params_rect_Type5 p globals h_mk_code_iteration_params x_25613 =
    11091109  let { cip_print_serialization_params = cip_print_serialization_params0;
    1110     fold_code = fold_code0; print_statementT = print_statementT0 } = x_370
     1110    fold_code = fold_code0; print_statementT = print_statementT0 } = x_25613
    11111111  in
    11121112  h_mk_code_iteration_params cip_print_serialization_params0 fold_code0
     
    11171117    (__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __ -> __) -> ('a2 -> 'a1)
    11181118    -> 'a3) -> ('a1, 'a2) code_iteration_params -> 'a3 **)
    1119 let rec code_iteration_params_rect_Type3 p globals h_mk_code_iteration_params x_372 =
     1119let rec code_iteration_params_rect_Type3 p globals h_mk_code_iteration_params x_25615 =
    11201120  let { cip_print_serialization_params = cip_print_serialization_params0;
    1121     fold_code = fold_code0; print_statementT = print_statementT0 } = x_372
     1121    fold_code = fold_code0; print_statementT = print_statementT0 } = x_25615
    11221122  in
    11231123  h_mk_code_iteration_params cip_print_serialization_params0 fold_code0
     
    11281128    (__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __ -> __) -> ('a2 -> 'a1)
    11291129    -> 'a3) -> ('a1, 'a2) code_iteration_params -> 'a3 **)
    1130 let rec code_iteration_params_rect_Type2 p globals h_mk_code_iteration_params x_374 =
     1130let rec code_iteration_params_rect_Type2 p globals h_mk_code_iteration_params x_25617 =
    11311131  let { cip_print_serialization_params = cip_print_serialization_params0;
    1132     fold_code = fold_code0; print_statementT = print_statementT0 } = x_374
     1132    fold_code = fold_code0; print_statementT = print_statementT0 } = x_25617
    11331133  in
    11341134  h_mk_code_iteration_params cip_print_serialization_params0 fold_code0
     
    11391139    (__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __ -> __) -> ('a2 -> 'a1)
    11401140    -> 'a3) -> ('a1, 'a2) code_iteration_params -> 'a3 **)
    1141 let rec code_iteration_params_rect_Type1 p globals h_mk_code_iteration_params x_376 =
     1141let rec code_iteration_params_rect_Type1 p globals h_mk_code_iteration_params x_25619 =
    11421142  let { cip_print_serialization_params = cip_print_serialization_params0;
    1143     fold_code = fold_code0; print_statementT = print_statementT0 } = x_376
     1143    fold_code = fold_code0; print_statementT = print_statementT0 } = x_25619
    11441144  in
    11451145  h_mk_code_iteration_params cip_print_serialization_params0 fold_code0
     
    11501150    (__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __ -> __) -> ('a2 -> 'a1)
    11511151    -> 'a3) -> ('a1, 'a2) code_iteration_params -> 'a3 **)
    1152 let rec code_iteration_params_rect_Type0 p globals h_mk_code_iteration_params x_378 =
     1152let rec code_iteration_params_rect_Type0 p globals h_mk_code_iteration_params x_25621 =
    11531153  let { cip_print_serialization_params = cip_print_serialization_params0;
    1154     fold_code = fold_code0; print_statementT = print_statementT0 } = x_378
     1154    fold_code = fold_code0; print_statementT = print_statementT0 } = x_25621
    11551155  in
    11561156  h_mk_code_iteration_params cip_print_serialization_params0 fold_code0
     
    11661166    Joint.params -> AST.ident List.list -> ('a1, 'a2) code_iteration_params
    11671167    -> (__ -> 'a2 -> 'a3 -> 'a3) -> __ -> __ -> 'a3 -> 'a3 **)
    1168 let rec fold_code0 p globals xxx x_393 x_394 x_395 x_396 =
     1168let rec fold_code0 p globals xxx x_25636 x_25637 x_25638 x_25639 =
    11691169  (let { cip_print_serialization_params = x; fold_code = yyy;
    11701170     print_statementT = x0 } = xxx
    11711171   in
    1172   Obj.magic yyy) __ x_393 x_394 x_395 x_396
     1172  Obj.magic yyy) __ x_25636 x_25637 x_25638 x_25639
    11731173
    11741174(** val print_statementT :
     
    12471247   | Types.None -> b
    12481248   | Types.Some res ->
    1249      let { Types.fst = eta2; Types.snd = m' } = res in
    1250      let { Types.fst = pos; Types.snd = a } = eta2 in
     1249     let { Types.fst = eta32074; Types.snd = m' } = res in
     1250     let { Types.fst = pos; Types.snd = a } = eta32074 in
    12511251     visit_graph next f (f pos a b) (next a) m' y)
    12521252
Note: See TracChangeset for help on using the changeset viewer.