Ignore:
Timestamp:
Feb 27, 2013, 9:27:58 PM (8 years ago)
Author:
sacerdot
Message:

Latest version of the compiler, extracted with the latest version of Matita.
Some files still need some manual patching to avoid an extraction bug
(see PROBLEMS file).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTLabsToRTL.ml

    r2730 r2743  
    152152    -> 'a1) -> register_type -> 'a1 **)
    153153let rec register_type_rect_Type4 h_register_int h_register_ptr = function
    154 | Register_int x_2393 -> h_register_int x_2393
    155 | Register_ptr (x_2395, x_2394) -> h_register_ptr x_2395 x_2394
     154| Register_int x_20782 -> h_register_int x_20782
     155| Register_ptr (x_20784, x_20783) -> h_register_ptr x_20784 x_20783
    156156
    157157(** val register_type_rect_Type5 :
     
    159159    -> 'a1) -> register_type -> 'a1 **)
    160160let rec register_type_rect_Type5 h_register_int h_register_ptr = function
    161 | Register_int x_2399 -> h_register_int x_2399
    162 | Register_ptr (x_2401, x_2400) -> h_register_ptr x_2401 x_2400
     161| Register_int x_20788 -> h_register_int x_20788
     162| Register_ptr (x_20790, x_20789) -> h_register_ptr x_20790 x_20789
    163163
    164164(** val register_type_rect_Type3 :
     
    166166    -> 'a1) -> register_type -> 'a1 **)
    167167let rec register_type_rect_Type3 h_register_int h_register_ptr = function
    168 | Register_int x_2405 -> h_register_int x_2405
    169 | Register_ptr (x_2407, x_2406) -> h_register_ptr x_2407 x_2406
     168| Register_int x_20794 -> h_register_int x_20794
     169| Register_ptr (x_20796, x_20795) -> h_register_ptr x_20796 x_20795
    170170
    171171(** val register_type_rect_Type2 :
     
    173173    -> 'a1) -> register_type -> 'a1 **)
    174174let rec register_type_rect_Type2 h_register_int h_register_ptr = function
    175 | Register_int x_2411 -> h_register_int x_2411
    176 | Register_ptr (x_2413, x_2412) -> h_register_ptr x_2413 x_2412
     175| Register_int x_20800 -> h_register_int x_20800
     176| Register_ptr (x_20802, x_20801) -> h_register_ptr x_20802 x_20801
    177177
    178178(** val register_type_rect_Type1 :
     
    180180    -> 'a1) -> register_type -> 'a1 **)
    181181let rec register_type_rect_Type1 h_register_int h_register_ptr = function
    182 | Register_int x_2417 -> h_register_int x_2417
    183 | Register_ptr (x_2419, x_2418) -> h_register_ptr x_2419 x_2418
     182| Register_int x_20806 -> h_register_int x_20806
     183| Register_ptr (x_20808, x_20807) -> h_register_ptr x_20808 x_20807
    184184
    185185(** val register_type_rect_Type0 :
     
    187187    -> 'a1) -> register_type -> 'a1 **)
    188188let rec register_type_rect_Type0 h_register_int h_register_ptr = function
    189 | Register_int x_2423 -> h_register_int x_2423
    190 | Register_ptr (x_2425, x_2424) -> h_register_ptr x_2425 x_2424
     189| Register_int x_20812 -> h_register_int x_20812
     190| Register_ptr (x_20814, x_20813) -> h_register_ptr x_20814 x_20813
    191191
    192192(** val register_type_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.