Ignore:
Timestamp:
Mar 5, 2013, 9:52:39 PM (7 years ago)
Author:
sacerdot
Message:

The compiler now computes also the stack cost model.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/positiveMap.ml

    r2773 r2775  
    4444let rec positive_map_rect_Type4 h_pm_leaf h_pm_node = function
    4545| Pm_leaf -> h_pm_leaf
    46 | Pm_node (x_3404, x_3403, x_3402) ->
    47   h_pm_node x_3404 x_3403 x_3402
    48     (positive_map_rect_Type4 h_pm_leaf h_pm_node x_3403)
    49     (positive_map_rect_Type4 h_pm_leaf h_pm_node x_3402)
     46| Pm_node (x_3157, x_3156, x_3155) ->
     47  h_pm_node x_3157 x_3156 x_3155
     48    (positive_map_rect_Type4 h_pm_leaf h_pm_node x_3156)
     49    (positive_map_rect_Type4 h_pm_leaf h_pm_node x_3155)
    5050
    5151(** val positive_map_rect_Type3 :
     
    5454let rec positive_map_rect_Type3 h_pm_leaf h_pm_node = function
    5555| Pm_leaf -> h_pm_leaf
    56 | Pm_node (x_3416, x_3415, x_3414) ->
    57   h_pm_node x_3416 x_3415 x_3414
    58     (positive_map_rect_Type3 h_pm_leaf h_pm_node x_3415)
    59     (positive_map_rect_Type3 h_pm_leaf h_pm_node x_3414)
     56| Pm_node (x_3169, x_3168, x_3167) ->
     57  h_pm_node x_3169 x_3168 x_3167
     58    (positive_map_rect_Type3 h_pm_leaf h_pm_node x_3168)
     59    (positive_map_rect_Type3 h_pm_leaf h_pm_node x_3167)
    6060
    6161(** val positive_map_rect_Type2 :
     
    6464let rec positive_map_rect_Type2 h_pm_leaf h_pm_node = function
    6565| Pm_leaf -> h_pm_leaf
    66 | Pm_node (x_3422, x_3421, x_3420) ->
    67   h_pm_node x_3422 x_3421 x_3420
    68     (positive_map_rect_Type2 h_pm_leaf h_pm_node x_3421)
    69     (positive_map_rect_Type2 h_pm_leaf h_pm_node x_3420)
     66| Pm_node (x_3175, x_3174, x_3173) ->
     67  h_pm_node x_3175 x_3174 x_3173
     68    (positive_map_rect_Type2 h_pm_leaf h_pm_node x_3174)
     69    (positive_map_rect_Type2 h_pm_leaf h_pm_node x_3173)
    7070
    7171(** val positive_map_rect_Type1 :
     
    7474let rec positive_map_rect_Type1 h_pm_leaf h_pm_node = function
    7575| Pm_leaf -> h_pm_leaf
    76 | Pm_node (x_3428, x_3427, x_3426) ->
    77   h_pm_node x_3428 x_3427 x_3426
    78     (positive_map_rect_Type1 h_pm_leaf h_pm_node x_3427)
    79     (positive_map_rect_Type1 h_pm_leaf h_pm_node x_3426)
     76| Pm_node (x_3181, x_3180, x_3179) ->
     77  h_pm_node x_3181 x_3180 x_3179
     78    (positive_map_rect_Type1 h_pm_leaf h_pm_node x_3180)
     79    (positive_map_rect_Type1 h_pm_leaf h_pm_node x_3179)
    8080
    8181(** val positive_map_rect_Type0 :
     
    8484let rec positive_map_rect_Type0 h_pm_leaf h_pm_node = function
    8585| Pm_leaf -> h_pm_leaf
    86 | Pm_node (x_3434, x_3433, x_3432) ->
    87   h_pm_node x_3434 x_3433 x_3432
    88     (positive_map_rect_Type0 h_pm_leaf h_pm_node x_3433)
    89     (positive_map_rect_Type0 h_pm_leaf h_pm_node x_3432)
     86| Pm_node (x_3187, x_3186, x_3185) ->
     87  h_pm_node x_3187 x_3186 x_3185
     88    (positive_map_rect_Type0 h_pm_leaf h_pm_node x_3186)
     89    (positive_map_rect_Type0 h_pm_leaf h_pm_node x_3185)
    9090
    9191(** val positive_map_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.