Changeset 2775 for extracted/positive.ml


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

    r2773 r2775  
    104104let rec pos_rect_Type4 h_one h_p1 h_p0 = function
    105105| One -> h_one
    106 | P1 x_1037 -> h_p1 x_1037 (pos_rect_Type4 h_one h_p1 h_p0 x_1037)
    107 | P0 x_1038 -> h_p0 x_1038 (pos_rect_Type4 h_one h_p1 h_p0 x_1038)
     106| P1 x_1606 -> h_p1 x_1606 (pos_rect_Type4 h_one h_p1 h_p0 x_1606)
     107| P0 x_1607 -> h_p0 x_1607 (pos_rect_Type4 h_one h_p1 h_p0 x_1607)
    108108
    109109(** val pos_rect_Type3 :
     
    111111let rec pos_rect_Type3 h_one h_p1 h_p0 = function
    112112| One -> h_one
    113 | P1 x_1049 -> h_p1 x_1049 (pos_rect_Type3 h_one h_p1 h_p0 x_1049)
    114 | P0 x_1050 -> h_p0 x_1050 (pos_rect_Type3 h_one h_p1 h_p0 x_1050)
     113| P1 x_1618 -> h_p1 x_1618 (pos_rect_Type3 h_one h_p1 h_p0 x_1618)
     114| P0 x_1619 -> h_p0 x_1619 (pos_rect_Type3 h_one h_p1 h_p0 x_1619)
    115115
    116116(** val pos_rect_Type2 :
     
    118118let rec pos_rect_Type2 h_one h_p1 h_p0 = function
    119119| One -> h_one
    120 | P1 x_1055 -> h_p1 x_1055 (pos_rect_Type2 h_one h_p1 h_p0 x_1055)
    121 | P0 x_1056 -> h_p0 x_1056 (pos_rect_Type2 h_one h_p1 h_p0 x_1056)
     120| P1 x_1624 -> h_p1 x_1624 (pos_rect_Type2 h_one h_p1 h_p0 x_1624)
     121| P0 x_1625 -> h_p0 x_1625 (pos_rect_Type2 h_one h_p1 h_p0 x_1625)
    122122
    123123(** val pos_rect_Type1 :
     
    125125let rec pos_rect_Type1 h_one h_p1 h_p0 = function
    126126| One -> h_one
    127 | P1 x_1061 -> h_p1 x_1061 (pos_rect_Type1 h_one h_p1 h_p0 x_1061)
    128 | P0 x_1062 -> h_p0 x_1062 (pos_rect_Type1 h_one h_p1 h_p0 x_1062)
     127| P1 x_1630 -> h_p1 x_1630 (pos_rect_Type1 h_one h_p1 h_p0 x_1630)
     128| P0 x_1631 -> h_p0 x_1631 (pos_rect_Type1 h_one h_p1 h_p0 x_1631)
    129129
    130130(** val pos_rect_Type0 :
     
    132132let rec pos_rect_Type0 h_one h_p1 h_p0 = function
    133133| One -> h_one
    134 | P1 x_1067 -> h_p1 x_1067 (pos_rect_Type0 h_one h_p1 h_p0 x_1067)
    135 | P0 x_1068 -> h_p0 x_1068 (pos_rect_Type0 h_one h_p1 h_p0 x_1068)
     134| P1 x_1636 -> h_p1 x_1636 (pos_rect_Type0 h_one h_p1 h_p0 x_1636)
     135| P0 x_1637 -> h_p0 x_1637 (pos_rect_Type0 h_one h_p1 h_p0 x_1637)
    136136
    137137(** val pos_inv_rect_Type4 :
     
    232232| MinusNeg -> h_MinusNeg
    233233| MinusZero -> h_MinusZero
    234 | MinusPos x_1244 -> h_MinusPos x_1244
     234| MinusPos x_1813 -> h_MinusPos x_1813
    235235
    236236(** val minusresult_rect_Type5 :
     
    239239| MinusNeg -> h_MinusNeg
    240240| MinusZero -> h_MinusZero
    241 | MinusPos x_1249 -> h_MinusPos x_1249
     241| MinusPos x_1818 -> h_MinusPos x_1818
    242242
    243243(** val minusresult_rect_Type3 :
     
    246246| MinusNeg -> h_MinusNeg
    247247| MinusZero -> h_MinusZero
    248 | MinusPos x_1254 -> h_MinusPos x_1254
     248| MinusPos x_1823 -> h_MinusPos x_1823
    249249
    250250(** val minusresult_rect_Type2 :
     
    253253| MinusNeg -> h_MinusNeg
    254254| MinusZero -> h_MinusZero
    255 | MinusPos x_1259 -> h_MinusPos x_1259
     255| MinusPos x_1828 -> h_MinusPos x_1828
    256256
    257257(** val minusresult_rect_Type1 :
     
    260260| MinusNeg -> h_MinusNeg
    261261| MinusZero -> h_MinusZero
    262 | MinusPos x_1264 -> h_MinusPos x_1264
     262| MinusPos x_1833 -> h_MinusPos x_1833
    263263
    264264(** val minusresult_rect_Type0 :
     
    267267| MinusNeg -> h_MinusNeg
    268268| MinusZero -> h_MinusZero
    269 | MinusPos x_1269 -> h_MinusPos x_1269
     269| MinusPos x_1838 -> h_MinusPos x_1838
    270270
    271271(** val minusresult_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.