Ignore:
Timestamp:
Mar 14, 2013, 10:37:39 PM (7 years ago)
Author:
sacerdot
Message:

Extracted again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/cminor_semantics.ml

    r2867 r2873  
    123123let rec cont_rect_Type4 h_Kend h_Kseq h_Kblock = function
    124124| Kend -> h_Kend
    125 | Kseq (x_25288, x_25287) ->
    126   h_Kseq x_25288 x_25287 (cont_rect_Type4 h_Kend h_Kseq h_Kblock x_25287)
    127 | Kblock x_25289 ->
    128   h_Kblock x_25289 (cont_rect_Type4 h_Kend h_Kseq h_Kblock x_25289)
     125| Kseq (x_25457, x_25456) ->
     126  h_Kseq x_25457 x_25456 (cont_rect_Type4 h_Kend h_Kseq h_Kblock x_25456)
     127| Kblock x_25458 ->
     128  h_Kblock x_25458 (cont_rect_Type4 h_Kend h_Kseq h_Kblock x_25458)
    129129
    130130(** val cont_rect_Type3 :
     
    133133let rec cont_rect_Type3 h_Kend h_Kseq h_Kblock = function
    134134| Kend -> h_Kend
    135 | Kseq (x_25302, x_25301) ->
    136   h_Kseq x_25302 x_25301 (cont_rect_Type3 h_Kend h_Kseq h_Kblock x_25301)
    137 | Kblock x_25303 ->
    138   h_Kblock x_25303 (cont_rect_Type3 h_Kend h_Kseq h_Kblock x_25303)
     135| Kseq (x_25471, x_25470) ->
     136  h_Kseq x_25471 x_25470 (cont_rect_Type3 h_Kend h_Kseq h_Kblock x_25470)
     137| Kblock x_25472 ->
     138  h_Kblock x_25472 (cont_rect_Type3 h_Kend h_Kseq h_Kblock x_25472)
    139139
    140140(** val cont_rect_Type2 :
     
    143143let rec cont_rect_Type2 h_Kend h_Kseq h_Kblock = function
    144144| Kend -> h_Kend
    145 | Kseq (x_25309, x_25308) ->
    146   h_Kseq x_25309 x_25308 (cont_rect_Type2 h_Kend h_Kseq h_Kblock x_25308)
    147 | Kblock x_25310 ->
    148   h_Kblock x_25310 (cont_rect_Type2 h_Kend h_Kseq h_Kblock x_25310)
     145| Kseq (x_25478, x_25477) ->
     146  h_Kseq x_25478 x_25477 (cont_rect_Type2 h_Kend h_Kseq h_Kblock x_25477)
     147| Kblock x_25479 ->
     148  h_Kblock x_25479 (cont_rect_Type2 h_Kend h_Kseq h_Kblock x_25479)
    149149
    150150(** val cont_rect_Type1 :
     
    153153let rec cont_rect_Type1 h_Kend h_Kseq h_Kblock = function
    154154| Kend -> h_Kend
    155 | Kseq (x_25316, x_25315) ->
    156   h_Kseq x_25316 x_25315 (cont_rect_Type1 h_Kend h_Kseq h_Kblock x_25315)
    157 | Kblock x_25317 ->
    158   h_Kblock x_25317 (cont_rect_Type1 h_Kend h_Kseq h_Kblock x_25317)
     155| Kseq (x_25485, x_25484) ->
     156  h_Kseq x_25485 x_25484 (cont_rect_Type1 h_Kend h_Kseq h_Kblock x_25484)
     157| Kblock x_25486 ->
     158  h_Kblock x_25486 (cont_rect_Type1 h_Kend h_Kseq h_Kblock x_25486)
    159159
    160160(** val cont_rect_Type0 :
     
    163163let rec cont_rect_Type0 h_Kend h_Kseq h_Kblock = function
    164164| Kend -> h_Kend
    165 | Kseq (x_25323, x_25322) ->
    166   h_Kseq x_25323 x_25322 (cont_rect_Type0 h_Kend h_Kseq h_Kblock x_25322)
    167 | Kblock x_25324 ->
    168   h_Kblock x_25324 (cont_rect_Type0 h_Kend h_Kseq h_Kblock x_25324)
     165| Kseq (x_25492, x_25491) ->
     166  h_Kseq x_25492 x_25491 (cont_rect_Type0 h_Kend h_Kseq h_Kblock x_25491)
     167| Kblock x_25493 ->
     168  h_Kblock x_25493 (cont_rect_Type0 h_Kend h_Kseq h_Kblock x_25493)
    169169
    170170(** val cont_inv_rect_Type4 :
     
    226226let rec stack_rect_Type4 h_SStop h_Scall = function
    227227| SStop -> h_SStop
    228 | Scall (dest, f, x_25383, en, k, x_25379) ->
    229   h_Scall dest f x_25383 en __ __ k __ x_25379
    230     (stack_rect_Type4 h_SStop h_Scall x_25379)
     228| Scall (dest, f, x_25552, en, k, x_25548) ->
     229  h_Scall dest f x_25552 en __ __ k __ x_25548
     230    (stack_rect_Type4 h_SStop h_Scall x_25548)
    231231
    232232(** val stack_rect_Type3 :
     
    236236let rec stack_rect_Type3 h_SStop h_Scall = function
    237237| SStop -> h_SStop
    238 | Scall (dest, f, x_25399, en, k, x_25395) ->
    239   h_Scall dest f x_25399 en __ __ k __ x_25395
    240     (stack_rect_Type3 h_SStop h_Scall x_25395)
     238| Scall (dest, f, x_25568, en, k, x_25564) ->
     239  h_Scall dest f x_25568 en __ __ k __ x_25564
     240    (stack_rect_Type3 h_SStop h_Scall x_25564)
    241241
    242242(** val stack_rect_Type2 :
     
    246246let rec stack_rect_Type2 h_SStop h_Scall = function
    247247| SStop -> h_SStop
    248 | Scall (dest, f, x_25407, en, k, x_25403) ->
    249   h_Scall dest f x_25407 en __ __ k __ x_25403
    250     (stack_rect_Type2 h_SStop h_Scall x_25403)
     248| Scall (dest, f, x_25576, en, k, x_25572) ->
     249  h_Scall dest f x_25576 en __ __ k __ x_25572
     250    (stack_rect_Type2 h_SStop h_Scall x_25572)
    251251
    252252(** val stack_rect_Type1 :
     
    256256let rec stack_rect_Type1 h_SStop h_Scall = function
    257257| SStop -> h_SStop
    258 | Scall (dest, f, x_25415, en, k, x_25411) ->
    259   h_Scall dest f x_25415 en __ __ k __ x_25411
    260     (stack_rect_Type1 h_SStop h_Scall x_25411)
     258| Scall (dest, f, x_25584, en, k, x_25580) ->
     259  h_Scall dest f x_25584 en __ __ k __ x_25580
     260    (stack_rect_Type1 h_SStop h_Scall x_25580)
    261261
    262262(** val stack_rect_Type0 :
     
    266266let rec stack_rect_Type0 h_SStop h_Scall = function
    267267| SStop -> h_SStop
    268 | Scall (dest, f, x_25423, en, k, x_25419) ->
    269   h_Scall dest f x_25423 en __ __ k __ x_25419
    270     (stack_rect_Type0 h_SStop h_Scall x_25419)
     268| Scall (dest, f, x_25592, en, k, x_25588) ->
     269  h_Scall dest f x_25592 en __ __ k __ x_25588
     270    (stack_rect_Type0 h_SStop h_Scall x_25588)
    271271
    272272(** val stack_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.