Changeset 2867 for extracted/status.ml


Ignore:
Timestamp:
Mar 13, 2013, 11:12:29 PM (7 years ago)
Author:
sacerdot
Message:

New extraction after indianess bug fixes by Paolo.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/status.ml

    r2827 r2867  
    8989    serialBufferType -> 'a1 **)
    9090let rec serialBufferType_rect_Type4 h_Eight h_Nine = function
    91 | Eight x_24445 -> h_Eight x_24445
    92 | Nine (x_24447, x_24446) -> h_Nine x_24447 x_24446
     91| Eight x_24615 -> h_Eight x_24615
     92| Nine (x_24617, x_24616) -> h_Nine x_24617 x_24616
    9393
    9494(** val serialBufferType_rect_Type5 :
     
    9696    serialBufferType -> 'a1 **)
    9797let rec serialBufferType_rect_Type5 h_Eight h_Nine = function
    98 | Eight x_24451 -> h_Eight x_24451
    99 | Nine (x_24453, x_24452) -> h_Nine x_24453 x_24452
     98| Eight x_24621 -> h_Eight x_24621
     99| Nine (x_24623, x_24622) -> h_Nine x_24623 x_24622
    100100
    101101(** val serialBufferType_rect_Type3 :
     
    103103    serialBufferType -> 'a1 **)
    104104let rec serialBufferType_rect_Type3 h_Eight h_Nine = function
    105 | Eight x_24457 -> h_Eight x_24457
    106 | Nine (x_24459, x_24458) -> h_Nine x_24459 x_24458
     105| Eight x_24627 -> h_Eight x_24627
     106| Nine (x_24629, x_24628) -> h_Nine x_24629 x_24628
    107107
    108108(** val serialBufferType_rect_Type2 :
     
    110110    serialBufferType -> 'a1 **)
    111111let rec serialBufferType_rect_Type2 h_Eight h_Nine = function
    112 | Eight x_24463 -> h_Eight x_24463
    113 | Nine (x_24465, x_24464) -> h_Nine x_24465 x_24464
     112| Eight x_24633 -> h_Eight x_24633
     113| Nine (x_24635, x_24634) -> h_Nine x_24635 x_24634
    114114
    115115(** val serialBufferType_rect_Type1 :
     
    117117    serialBufferType -> 'a1 **)
    118118let rec serialBufferType_rect_Type1 h_Eight h_Nine = function
    119 | Eight x_24469 -> h_Eight x_24469
    120 | Nine (x_24471, x_24470) -> h_Nine x_24471 x_24470
     119| Eight x_24639 -> h_Eight x_24639
     120| Nine (x_24641, x_24640) -> h_Nine x_24641 x_24640
    121121
    122122(** val serialBufferType_rect_Type0 :
     
    124124    serialBufferType -> 'a1 **)
    125125let rec serialBufferType_rect_Type0 h_Eight h_Nine = function
    126 | Eight x_24475 -> h_Eight x_24475
    127 | Nine (x_24477, x_24476) -> h_Nine x_24477 x_24476
     126| Eight x_24645 -> h_Eight x_24645
     127| Nine (x_24647, x_24646) -> h_Nine x_24647 x_24646
    128128
    129129(** val serialBufferType_inv_rect_Type4 :
     
    182182    -> 'a1) -> lineType -> 'a1 **)
    183183let rec lineType_rect_Type4 h_P1 h_P3 h_SerialBuffer = function
    184 | P1 x_24524 -> h_P1 x_24524
    185 | P3 x_24525 -> h_P3 x_24525
    186 | SerialBuffer x_24526 -> h_SerialBuffer x_24526
     184| P1 x_24694 -> h_P1 x_24694
     185| P3 x_24695 -> h_P3 x_24695
     186| SerialBuffer x_24696 -> h_SerialBuffer x_24696
    187187
    188188(** val lineType_rect_Type5 :
     
    190190    -> 'a1) -> lineType -> 'a1 **)
    191191let rec lineType_rect_Type5 h_P1 h_P3 h_SerialBuffer = function
    192 | P1 x_24531 -> h_P1 x_24531
    193 | P3 x_24532 -> h_P3 x_24532
    194 | SerialBuffer x_24533 -> h_SerialBuffer x_24533
     192| P1 x_24701 -> h_P1 x_24701
     193| P3 x_24702 -> h_P3 x_24702
     194| SerialBuffer x_24703 -> h_SerialBuffer x_24703
    195195
    196196(** val lineType_rect_Type3 :
     
    198198    -> 'a1) -> lineType -> 'a1 **)
    199199let rec lineType_rect_Type3 h_P1 h_P3 h_SerialBuffer = function
    200 | P1 x_24538 -> h_P1 x_24538
    201 | P3 x_24539 -> h_P3 x_24539
    202 | SerialBuffer x_24540 -> h_SerialBuffer x_24540
     200| P1 x_24708 -> h_P1 x_24708
     201| P3 x_24709 -> h_P3 x_24709
     202| SerialBuffer x_24710 -> h_SerialBuffer x_24710
    203203
    204204(** val lineType_rect_Type2 :
     
    206206    -> 'a1) -> lineType -> 'a1 **)
    207207let rec lineType_rect_Type2 h_P1 h_P3 h_SerialBuffer = function
    208 | P1 x_24545 -> h_P1 x_24545
    209 | P3 x_24546 -> h_P3 x_24546
    210 | SerialBuffer x_24547 -> h_SerialBuffer x_24547
     208| P1 x_24715 -> h_P1 x_24715
     209| P3 x_24716 -> h_P3 x_24716
     210| SerialBuffer x_24717 -> h_SerialBuffer x_24717
    211211
    212212(** val lineType_rect_Type1 :
     
    214214    -> 'a1) -> lineType -> 'a1 **)
    215215let rec lineType_rect_Type1 h_P1 h_P3 h_SerialBuffer = function
    216 | P1 x_24552 -> h_P1 x_24552
    217 | P3 x_24553 -> h_P3 x_24553
    218 | SerialBuffer x_24554 -> h_SerialBuffer x_24554
     216| P1 x_24722 -> h_P1 x_24722
     217| P3 x_24723 -> h_P3 x_24723
     218| SerialBuffer x_24724 -> h_SerialBuffer x_24724
    219219
    220220(** val lineType_rect_Type0 :
     
    222222    -> 'a1) -> lineType -> 'a1 **)
    223223let rec lineType_rect_Type0 h_P1 h_P3 h_SerialBuffer = function
    224 | P1 x_24559 -> h_P1 x_24559
    225 | P3 x_24560 -> h_P3 x_24560
    226 | SerialBuffer x_24561 -> h_SerialBuffer x_24561
     224| P1 x_24729 -> h_P1 x_24729
     225| P3 x_24730 -> h_P3 x_24730
     226| SerialBuffer x_24731 -> h_SerialBuffer x_24731
    227227
    228228(** val lineType_inv_rect_Type4 :
     
    731731    Vector.vector -> BitVector.byte -> BitVector.byte -> time -> 'a2) -> 'a1
    732732    preStatus -> 'a2 **)
    733 let rec preStatus_rect_Type4 code_memory h_mk_PreStatus x_24947 =
     733let rec preStatus_rect_Type4 code_memory h_mk_PreStatus x_25117 =
    734734  let { low_internal_ram = low_internal_ram0; high_internal_ram =
    735735    high_internal_ram0; external_ram = external_ram0; program_counter =
     
    737737    special_function_registers_8053; special_function_registers_8052 =
    738738    special_function_registers_8054; p1_latch = p1_latch0; p3_latch =
    739     p3_latch0; clock = clock0 } = x_24947
     739    p3_latch0; clock = clock0 } = x_25117
    740740  in
    741741  h_mk_PreStatus low_internal_ram0 high_internal_ram0 external_ram0
     
    749749    Vector.vector -> BitVector.byte -> BitVector.byte -> time -> 'a2) -> 'a1
    750750    preStatus -> 'a2 **)
    751 let rec preStatus_rect_Type5 code_memory h_mk_PreStatus x_24949 =
     751let rec preStatus_rect_Type5 code_memory h_mk_PreStatus x_25119 =
    752752  let { low_internal_ram = low_internal_ram0; high_internal_ram =
    753753    high_internal_ram0; external_ram = external_ram0; program_counter =
     
    755755    special_function_registers_8053; special_function_registers_8052 =
    756756    special_function_registers_8054; p1_latch = p1_latch0; p3_latch =
    757     p3_latch0; clock = clock0 } = x_24949
     757    p3_latch0; clock = clock0 } = x_25119
    758758  in
    759759  h_mk_PreStatus low_internal_ram0 high_internal_ram0 external_ram0
     
    767767    Vector.vector -> BitVector.byte -> BitVector.byte -> time -> 'a2) -> 'a1
    768768    preStatus -> 'a2 **)
    769 let rec preStatus_rect_Type3 code_memory h_mk_PreStatus x_24951 =
     769let rec preStatus_rect_Type3 code_memory h_mk_PreStatus x_25121 =
    770770  let { low_internal_ram = low_internal_ram0; high_internal_ram =
    771771    high_internal_ram0; external_ram = external_ram0; program_counter =
     
    773773    special_function_registers_8053; special_function_registers_8052 =
    774774    special_function_registers_8054; p1_latch = p1_latch0; p3_latch =
    775     p3_latch0; clock = clock0 } = x_24951
     775    p3_latch0; clock = clock0 } = x_25121
    776776  in
    777777  h_mk_PreStatus low_internal_ram0 high_internal_ram0 external_ram0
     
    785785    Vector.vector -> BitVector.byte -> BitVector.byte -> time -> 'a2) -> 'a1
    786786    preStatus -> 'a2 **)
    787 let rec preStatus_rect_Type2 code_memory h_mk_PreStatus x_24953 =
     787let rec preStatus_rect_Type2 code_memory h_mk_PreStatus x_25123 =
    788788  let { low_internal_ram = low_internal_ram0; high_internal_ram =
    789789    high_internal_ram0; external_ram = external_ram0; program_counter =
     
    791791    special_function_registers_8053; special_function_registers_8052 =
    792792    special_function_registers_8054; p1_latch = p1_latch0; p3_latch =
    793     p3_latch0; clock = clock0 } = x_24953
     793    p3_latch0; clock = clock0 } = x_25123
    794794  in
    795795  h_mk_PreStatus low_internal_ram0 high_internal_ram0 external_ram0
     
    803803    Vector.vector -> BitVector.byte -> BitVector.byte -> time -> 'a2) -> 'a1
    804804    preStatus -> 'a2 **)
    805 let rec preStatus_rect_Type1 code_memory h_mk_PreStatus x_24955 =
     805let rec preStatus_rect_Type1 code_memory h_mk_PreStatus x_25125 =
    806806  let { low_internal_ram = low_internal_ram0; high_internal_ram =
    807807    high_internal_ram0; external_ram = external_ram0; program_counter =
     
    809809    special_function_registers_8053; special_function_registers_8052 =
    810810    special_function_registers_8054; p1_latch = p1_latch0; p3_latch =
    811     p3_latch0; clock = clock0 } = x_24955
     811    p3_latch0; clock = clock0 } = x_25125
    812812  in
    813813  h_mk_PreStatus low_internal_ram0 high_internal_ram0 external_ram0
     
    821821    Vector.vector -> BitVector.byte -> BitVector.byte -> time -> 'a2) -> 'a1
    822822    preStatus -> 'a2 **)
    823 let rec preStatus_rect_Type0 code_memory h_mk_PreStatus x_24957 =
     823let rec preStatus_rect_Type0 code_memory h_mk_PreStatus x_25127 =
    824824  let { low_internal_ram = low_internal_ram0; high_internal_ram =
    825825    high_internal_ram0; external_ram = external_ram0; program_counter =
     
    827827    special_function_registers_8053; special_function_registers_8052 =
    828828    special_function_registers_8054; p1_latch = p1_latch0; p3_latch =
    829     p3_latch0; clock = clock0 } = x_24957
     829    p3_latch0; clock = clock0 } = x_25127
    830830  in
    831831  h_mk_PreStatus low_internal_ram0 high_internal_ram0 external_ram0
Note: See TracChangeset for help on using the changeset viewer.