Changeset 2730 for extracted/toCminor.ml


Ignore:
Timestamp:
Feb 25, 2013, 9:54:49 PM (8 years ago)
Author:
sacerdot
Message:

Exported again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/toCminor.ml

    r2717 r2730  
    200200    (AST.region -> 'a1) -> (Nat.nat -> 'a1) -> 'a1 -> var_type -> 'a1 **)
    201201let rec var_type_rect_Type4 h_Global h_Stack h_Local = function
    202 | Global x_12977 -> h_Global x_12977
    203 | Stack x_12978 -> h_Stack x_12978
     202| Global x_4448 -> h_Global x_4448
     203| Stack x_4449 -> h_Stack x_4449
    204204| Local -> h_Local
    205205
     
    207207    (AST.region -> 'a1) -> (Nat.nat -> 'a1) -> 'a1 -> var_type -> 'a1 **)
    208208let rec var_type_rect_Type5 h_Global h_Stack h_Local = function
    209 | Global x_12983 -> h_Global x_12983
    210 | Stack x_12984 -> h_Stack x_12984
     209| Global x_4454 -> h_Global x_4454
     210| Stack x_4455 -> h_Stack x_4455
    211211| Local -> h_Local
    212212
     
    214214    (AST.region -> 'a1) -> (Nat.nat -> 'a1) -> 'a1 -> var_type -> 'a1 **)
    215215let rec var_type_rect_Type3 h_Global h_Stack h_Local = function
    216 | Global x_12989 -> h_Global x_12989
    217 | Stack x_12990 -> h_Stack x_12990
     216| Global x_4460 -> h_Global x_4460
     217| Stack x_4461 -> h_Stack x_4461
    218218| Local -> h_Local
    219219
     
    221221    (AST.region -> 'a1) -> (Nat.nat -> 'a1) -> 'a1 -> var_type -> 'a1 **)
    222222let rec var_type_rect_Type2 h_Global h_Stack h_Local = function
    223 | Global x_12995 -> h_Global x_12995
    224 | Stack x_12996 -> h_Stack x_12996
     223| Global x_4466 -> h_Global x_4466
     224| Stack x_4467 -> h_Stack x_4467
    225225| Local -> h_Local
    226226
     
    228228    (AST.region -> 'a1) -> (Nat.nat -> 'a1) -> 'a1 -> var_type -> 'a1 **)
    229229let rec var_type_rect_Type1 h_Global h_Stack h_Local = function
    230 | Global x_13001 -> h_Global x_13001
    231 | Stack x_13002 -> h_Stack x_13002
     230| Global x_4472 -> h_Global x_4472
     231| Stack x_4473 -> h_Stack x_4473
    232232| Local -> h_Local
    233233
     
    235235    (AST.region -> 'a1) -> (Nat.nat -> 'a1) -> 'a1 -> var_type -> 'a1 **)
    236236let rec var_type_rect_Type0 h_Global h_Stack h_Local = function
    237 | Global x_13007 -> h_Global x_13007
    238 | Stack x_13008 -> h_Stack x_13008
     237| Global x_4478 -> h_Global x_4478
     238| Stack x_4479 -> h_Stack x_4479
    239239| Local -> h_Local
    240240
     
    12231223let rec destination_rect_Type4 vars h_IdDest h_MemDest = function
    12241224| IdDest (id, ty) -> h_IdDest id ty __
    1225 | MemDest x_14463 -> h_MemDest x_14463
     1225| MemDest x_4526 -> h_MemDest x_4526
    12261226
    12271227(** val destination_rect_Type5 :
     
    12301230let rec destination_rect_Type5 vars h_IdDest h_MemDest = function
    12311231| IdDest (id, ty) -> h_IdDest id ty __
    1232 | MemDest x_14468 -> h_MemDest x_14468
     1232| MemDest x_4531 -> h_MemDest x_4531
    12331233
    12341234(** val destination_rect_Type3 :
     
    12371237let rec destination_rect_Type3 vars h_IdDest h_MemDest = function
    12381238| IdDest (id, ty) -> h_IdDest id ty __
    1239 | MemDest x_14473 -> h_MemDest x_14473
     1239| MemDest x_4536 -> h_MemDest x_4536
    12401240
    12411241(** val destination_rect_Type2 :
     
    12441244let rec destination_rect_Type2 vars h_IdDest h_MemDest = function
    12451245| IdDest (id, ty) -> h_IdDest id ty __
    1246 | MemDest x_14478 -> h_MemDest x_14478
     1246| MemDest x_4541 -> h_MemDest x_4541
    12471247
    12481248(** val destination_rect_Type1 :
     
    12511251let rec destination_rect_Type1 vars h_IdDest h_MemDest = function
    12521252| IdDest (id, ty) -> h_IdDest id ty __
    1253 | MemDest x_14483 -> h_MemDest x_14483
     1253| MemDest x_4546 -> h_MemDest x_4546
    12541254
    12551255(** val destination_rect_Type0 :
     
    12581258let rec destination_rect_Type0 vars h_IdDest h_MemDest = function
    12591259| IdDest (id, ty) -> h_IdDest id ty __
    1260 | MemDest x_14488 -> h_MemDest x_14488
     1260| MemDest x_4551 -> h_MemDest x_4551
    12611261
    12621262(** val destination_inv_rect_Type4 :
     
    13861386    (Identifiers.universe -> PreIdentifiers.identifier List.list -> __ ->
    13871387    'a1) -> labgen -> 'a1 **)
    1388 let rec labgen_rect_Type4 h_mk_labgen x_14523 =
    1389   let { labuniverse = labuniverse0; label_genlist = label_genlist0 } =
    1390     x_14523
     1388let rec labgen_rect_Type4 h_mk_labgen x_4586 =
     1389  let { labuniverse = labuniverse0; label_genlist = label_genlist0 } = x_4586
    13911390  in
    13921391  h_mk_labgen labuniverse0 label_genlist0 __
     
    13951394    (Identifiers.universe -> PreIdentifiers.identifier List.list -> __ ->
    13961395    'a1) -> labgen -> 'a1 **)
    1397 let rec labgen_rect_Type5 h_mk_labgen x_14525 =
    1398   let { labuniverse = labuniverse0; label_genlist = label_genlist0 } =
    1399     x_14525
     1396let rec labgen_rect_Type5 h_mk_labgen x_4588 =
     1397  let { labuniverse = labuniverse0; label_genlist = label_genlist0 } = x_4588
    14001398  in
    14011399  h_mk_labgen labuniverse0 label_genlist0 __
     
    14041402    (Identifiers.universe -> PreIdentifiers.identifier List.list -> __ ->
    14051403    'a1) -> labgen -> 'a1 **)
    1406 let rec labgen_rect_Type3 h_mk_labgen x_14527 =
    1407   let { labuniverse = labuniverse0; label_genlist = label_genlist0 } =
    1408     x_14527
     1404let rec labgen_rect_Type3 h_mk_labgen x_4590 =
     1405  let { labuniverse = labuniverse0; label_genlist = label_genlist0 } = x_4590
    14091406  in
    14101407  h_mk_labgen labuniverse0 label_genlist0 __
     
    14131410    (Identifiers.universe -> PreIdentifiers.identifier List.list -> __ ->
    14141411    'a1) -> labgen -> 'a1 **)
    1415 let rec labgen_rect_Type2 h_mk_labgen x_14529 =
    1416   let { labuniverse = labuniverse0; label_genlist = label_genlist0 } =
    1417     x_14529
     1412let rec labgen_rect_Type2 h_mk_labgen x_4592 =
     1413  let { labuniverse = labuniverse0; label_genlist = label_genlist0 } = x_4592
    14181414  in
    14191415  h_mk_labgen labuniverse0 label_genlist0 __
     
    14221418    (Identifiers.universe -> PreIdentifiers.identifier List.list -> __ ->
    14231419    'a1) -> labgen -> 'a1 **)
    1424 let rec labgen_rect_Type1 h_mk_labgen x_14531 =
    1425   let { labuniverse = labuniverse0; label_genlist = label_genlist0 } =
    1426     x_14531
     1420let rec labgen_rect_Type1 h_mk_labgen x_4594 =
     1421  let { labuniverse = labuniverse0; label_genlist = label_genlist0 } = x_4594
    14271422  in
    14281423  h_mk_labgen labuniverse0 label_genlist0 __
     
    14311426    (Identifiers.universe -> PreIdentifiers.identifier List.list -> __ ->
    14321427    'a1) -> labgen -> 'a1 **)
    1433 let rec labgen_rect_Type0 h_mk_labgen x_14533 =
    1434   let { labuniverse = labuniverse0; label_genlist = label_genlist0 } =
    1435     x_14533
     1428let rec labgen_rect_Type0 h_mk_labgen x_4596 =
     1429  let { labuniverse = labuniverse0; label_genlist = label_genlist0 } = x_4596
    14361430  in
    14371431  h_mk_labgen labuniverse0 label_genlist0 __
     
    15581552    var_types -> (Identifiers.universe -> (AST.ident, Csyntax.type0)
    15591553    Types.prod List.list -> __ -> __ -> 'a1) -> tmpgen -> 'a1 **)
    1560 let rec tmpgen_rect_Type4 vars h_mk_tmpgen x_14549 =
    1561   let { tmp_universe = tmp_universe0; tmp_env = tmp_env0 } = x_14549 in
     1554let rec tmpgen_rect_Type4 vars h_mk_tmpgen x_4612 =
     1555  let { tmp_universe = tmp_universe0; tmp_env = tmp_env0 } = x_4612 in
    15621556  h_mk_tmpgen tmp_universe0 tmp_env0 __ __
    15631557
     
    15651559    var_types -> (Identifiers.universe -> (AST.ident, Csyntax.type0)
    15661560    Types.prod List.list -> __ -> __ -> 'a1) -> tmpgen -> 'a1 **)
    1567 let rec tmpgen_rect_Type5 vars h_mk_tmpgen x_14551 =
    1568   let { tmp_universe = tmp_universe0; tmp_env = tmp_env0 } = x_14551 in
     1561let rec tmpgen_rect_Type5 vars h_mk_tmpgen x_4614 =
     1562  let { tmp_universe = tmp_universe0; tmp_env = tmp_env0 } = x_4614 in
    15691563  h_mk_tmpgen tmp_universe0 tmp_env0 __ __
    15701564
     
    15721566    var_types -> (Identifiers.universe -> (AST.ident, Csyntax.type0)
    15731567    Types.prod List.list -> __ -> __ -> 'a1) -> tmpgen -> 'a1 **)
    1574 let rec tmpgen_rect_Type3 vars h_mk_tmpgen x_14553 =
    1575   let { tmp_universe = tmp_universe0; tmp_env = tmp_env0 } = x_14553 in
     1568let rec tmpgen_rect_Type3 vars h_mk_tmpgen x_4616 =
     1569  let { tmp_universe = tmp_universe0; tmp_env = tmp_env0 } = x_4616 in
    15761570  h_mk_tmpgen tmp_universe0 tmp_env0 __ __
    15771571
     
    15791573    var_types -> (Identifiers.universe -> (AST.ident, Csyntax.type0)
    15801574    Types.prod List.list -> __ -> __ -> 'a1) -> tmpgen -> 'a1 **)
    1581 let rec tmpgen_rect_Type2 vars h_mk_tmpgen x_14555 =
    1582   let { tmp_universe = tmp_universe0; tmp_env = tmp_env0 } = x_14555 in
     1575let rec tmpgen_rect_Type2 vars h_mk_tmpgen x_4618 =
     1576  let { tmp_universe = tmp_universe0; tmp_env = tmp_env0 } = x_4618 in
    15831577  h_mk_tmpgen tmp_universe0 tmp_env0 __ __
    15841578
     
    15861580    var_types -> (Identifiers.universe -> (AST.ident, Csyntax.type0)
    15871581    Types.prod List.list -> __ -> __ -> 'a1) -> tmpgen -> 'a1 **)
    1588 let rec tmpgen_rect_Type1 vars h_mk_tmpgen x_14557 =
    1589   let { tmp_universe = tmp_universe0; tmp_env = tmp_env0 } = x_14557 in
     1582let rec tmpgen_rect_Type1 vars h_mk_tmpgen x_4620 =
     1583  let { tmp_universe = tmp_universe0; tmp_env = tmp_env0 } = x_4620 in
    15901584  h_mk_tmpgen tmp_universe0 tmp_env0 __ __
    15911585
     
    15931587    var_types -> (Identifiers.universe -> (AST.ident, Csyntax.type0)
    15941588    Types.prod List.list -> __ -> __ -> 'a1) -> tmpgen -> 'a1 **)
    1595 let rec tmpgen_rect_Type0 vars h_mk_tmpgen x_14559 =
    1596   let { tmp_universe = tmp_universe0; tmp_env = tmp_env0 } = x_14559 in
     1589let rec tmpgen_rect_Type0 vars h_mk_tmpgen x_4622 =
     1590  let { tmp_universe = tmp_universe0; tmp_env = tmp_env0 } = x_4622 in
    15971591  h_mk_tmpgen tmp_universe0 tmp_env0 __ __
    15981592
     
    16781672let rec convert_flag_rect_Type4 h_DoNotConvert h_ConvertTo = function
    16791673| DoNotConvert -> h_DoNotConvert
    1680 | ConvertTo (x_14581, x_14580) -> h_ConvertTo x_14581 x_14580
     1674| ConvertTo (x_4644, x_4643) -> h_ConvertTo x_4644 x_4643
    16811675
    16821676(** val convert_flag_rect_Type5 :
     
    16851679let rec convert_flag_rect_Type5 h_DoNotConvert h_ConvertTo = function
    16861680| DoNotConvert -> h_DoNotConvert
    1687 | ConvertTo (x_14586, x_14585) -> h_ConvertTo x_14586 x_14585
     1681| ConvertTo (x_4649, x_4648) -> h_ConvertTo x_4649 x_4648
    16881682
    16891683(** val convert_flag_rect_Type3 :
     
    16921686let rec convert_flag_rect_Type3 h_DoNotConvert h_ConvertTo = function
    16931687| DoNotConvert -> h_DoNotConvert
    1694 | ConvertTo (x_14591, x_14590) -> h_ConvertTo x_14591 x_14590
     1688| ConvertTo (x_4654, x_4653) -> h_ConvertTo x_4654 x_4653
    16951689
    16961690(** val convert_flag_rect_Type2 :
     
    16991693let rec convert_flag_rect_Type2 h_DoNotConvert h_ConvertTo = function
    17001694| DoNotConvert -> h_DoNotConvert
    1701 | ConvertTo (x_14596, x_14595) -> h_ConvertTo x_14596 x_14595
     1695| ConvertTo (x_4659, x_4658) -> h_ConvertTo x_4659 x_4658
    17021696
    17031697(** val convert_flag_rect_Type1 :
     
    17061700let rec convert_flag_rect_Type1 h_DoNotConvert h_ConvertTo = function
    17071701| DoNotConvert -> h_DoNotConvert
    1708 | ConvertTo (x_14601, x_14600) -> h_ConvertTo x_14601 x_14600
     1702| ConvertTo (x_4664, x_4663) -> h_ConvertTo x_4664 x_4663
    17091703
    17101704(** val convert_flag_rect_Type0 :
     
    17131707let rec convert_flag_rect_Type0 h_DoNotConvert h_ConvertTo = function
    17141708| DoNotConvert -> h_DoNotConvert
    1715 | ConvertTo (x_14606, x_14605) -> h_ConvertTo x_14606 x_14605
     1709| ConvertTo (x_4669, x_4668) -> h_ConvertTo x_4669 x_4668
    17161710
    17171711(** val convert_flag_inv_rect_Type4 :
     
    20362030    Obj.magic
    20372031      (Monad.m_bind0 (Monad.max_def Errors.res0) (Obj.magic su)
    2038         (fun eta2862 ->
    2039         let result = eta2862 in
     2032        (fun eta1293 ->
     2033        let result = eta1293 in
    20402034        (let { Types.fst = fgens1; Types.snd = s0 } = result in
    20412035        (fun _ ->
Note: See TracChangeset for help on using the changeset viewer.