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

    r2854 r2867  
    167167    arg_decision -> 'a1 **)
    168168let rec arg_decision_rect_Type4 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    169 | Arg_decision_colour x_2002 -> h_arg_decision_colour x_2002
    170 | Arg_decision_spill x_2003 -> h_arg_decision_spill x_2003
    171 | Arg_decision_imm x_2004 -> h_arg_decision_imm x_2004
     169| Arg_decision_colour x_21937 -> h_arg_decision_colour x_21937
     170| Arg_decision_spill x_21938 -> h_arg_decision_spill x_21938
     171| Arg_decision_imm x_21939 -> h_arg_decision_imm x_21939
    172172
    173173(** val arg_decision_rect_Type5 :
     
    175175    arg_decision -> 'a1 **)
    176176let rec arg_decision_rect_Type5 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    177 | Arg_decision_colour x_2009 -> h_arg_decision_colour x_2009
    178 | Arg_decision_spill x_2010 -> h_arg_decision_spill x_2010
    179 | Arg_decision_imm x_2011 -> h_arg_decision_imm x_2011
     177| Arg_decision_colour x_21944 -> h_arg_decision_colour x_21944
     178| Arg_decision_spill x_21945 -> h_arg_decision_spill x_21945
     179| Arg_decision_imm x_21946 -> h_arg_decision_imm x_21946
    180180
    181181(** val arg_decision_rect_Type3 :
     
    183183    arg_decision -> 'a1 **)
    184184let rec arg_decision_rect_Type3 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    185 | Arg_decision_colour x_2016 -> h_arg_decision_colour x_2016
    186 | Arg_decision_spill x_2017 -> h_arg_decision_spill x_2017
    187 | Arg_decision_imm x_2018 -> h_arg_decision_imm x_2018
     185| Arg_decision_colour x_21951 -> h_arg_decision_colour x_21951
     186| Arg_decision_spill x_21952 -> h_arg_decision_spill x_21952
     187| Arg_decision_imm x_21953 -> h_arg_decision_imm x_21953
    188188
    189189(** val arg_decision_rect_Type2 :
     
    191191    arg_decision -> 'a1 **)
    192192let rec arg_decision_rect_Type2 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    193 | Arg_decision_colour x_2023 -> h_arg_decision_colour x_2023
    194 | Arg_decision_spill x_2024 -> h_arg_decision_spill x_2024
    195 | Arg_decision_imm x_2025 -> h_arg_decision_imm x_2025
     193| Arg_decision_colour x_21958 -> h_arg_decision_colour x_21958
     194| Arg_decision_spill x_21959 -> h_arg_decision_spill x_21959
     195| Arg_decision_imm x_21960 -> h_arg_decision_imm x_21960
    196196
    197197(** val arg_decision_rect_Type1 :
     
    199199    arg_decision -> 'a1 **)
    200200let rec arg_decision_rect_Type1 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    201 | Arg_decision_colour x_2030 -> h_arg_decision_colour x_2030
    202 | Arg_decision_spill x_2031 -> h_arg_decision_spill x_2031
    203 | Arg_decision_imm x_2032 -> h_arg_decision_imm x_2032
     201| Arg_decision_colour x_21965 -> h_arg_decision_colour x_21965
     202| Arg_decision_spill x_21966 -> h_arg_decision_spill x_21966
     203| Arg_decision_imm x_21967 -> h_arg_decision_imm x_21967
    204204
    205205(** val arg_decision_rect_Type0 :
     
    207207    arg_decision -> 'a1 **)
    208208let rec arg_decision_rect_Type0 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    209 | Arg_decision_colour x_2037 -> h_arg_decision_colour x_2037
    210 | Arg_decision_spill x_2038 -> h_arg_decision_spill x_2038
    211 | Arg_decision_imm x_2039 -> h_arg_decision_imm x_2039
     209| Arg_decision_colour x_21972 -> h_arg_decision_colour x_21972
     210| Arg_decision_spill x_21973 -> h_arg_decision_spill x_21973
     211| Arg_decision_imm x_21974 -> h_arg_decision_imm x_21974
    212212
    213213(** val arg_decision_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.