Changeset 2775 for extracted/extranat.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/extranat.ml

    r2773 r2775  
    5050    (Nat.nat -> Nat.nat -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat -> Nat.nat ->
    5151    'a1) -> Nat.nat -> Nat.nat -> nat_compared -> 'a1 **)
    52 let rec nat_compared_rect_Type4 h_nat_lt h_nat_eq h_nat_gt x_1684 x_1683 = function
     52let rec nat_compared_rect_Type4 h_nat_lt h_nat_eq h_nat_gt x_1125 x_1124 = function
    5353| Nat_lt (n, m) -> h_nat_lt n m
    5454| Nat_eq n -> h_nat_eq n
     
    5858    (Nat.nat -> Nat.nat -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat -> Nat.nat ->
    5959    'a1) -> Nat.nat -> Nat.nat -> nat_compared -> 'a1 **)
    60 let rec nat_compared_rect_Type5 h_nat_lt h_nat_eq h_nat_gt x_1690 x_1689 = function
     60let rec nat_compared_rect_Type5 h_nat_lt h_nat_eq h_nat_gt x_1131 x_1130 = function
    6161| Nat_lt (n, m) -> h_nat_lt n m
    6262| Nat_eq n -> h_nat_eq n
     
    6666    (Nat.nat -> Nat.nat -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat -> Nat.nat ->
    6767    'a1) -> Nat.nat -> Nat.nat -> nat_compared -> 'a1 **)
    68 let rec nat_compared_rect_Type3 h_nat_lt h_nat_eq h_nat_gt x_1696 x_1695 = function
     68let rec nat_compared_rect_Type3 h_nat_lt h_nat_eq h_nat_gt x_1137 x_1136 = function
    6969| Nat_lt (n, m) -> h_nat_lt n m
    7070| Nat_eq n -> h_nat_eq n
     
    7474    (Nat.nat -> Nat.nat -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat -> Nat.nat ->
    7575    'a1) -> Nat.nat -> Nat.nat -> nat_compared -> 'a1 **)
    76 let rec nat_compared_rect_Type2 h_nat_lt h_nat_eq h_nat_gt x_1702 x_1701 = function
     76let rec nat_compared_rect_Type2 h_nat_lt h_nat_eq h_nat_gt x_1143 x_1142 = function
    7777| Nat_lt (n, m) -> h_nat_lt n m
    7878| Nat_eq n -> h_nat_eq n
     
    8282    (Nat.nat -> Nat.nat -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat -> Nat.nat ->
    8383    'a1) -> Nat.nat -> Nat.nat -> nat_compared -> 'a1 **)
    84 let rec nat_compared_rect_Type1 h_nat_lt h_nat_eq h_nat_gt x_1708 x_1707 = function
     84let rec nat_compared_rect_Type1 h_nat_lt h_nat_eq h_nat_gt x_1149 x_1148 = function
    8585| Nat_lt (n, m) -> h_nat_lt n m
    8686| Nat_eq n -> h_nat_eq n
     
    9090    (Nat.nat -> Nat.nat -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat -> Nat.nat ->
    9191    'a1) -> Nat.nat -> Nat.nat -> nat_compared -> 'a1 **)
    92 let rec nat_compared_rect_Type0 h_nat_lt h_nat_eq h_nat_gt x_1714 x_1713 = function
     92let rec nat_compared_rect_Type0 h_nat_lt h_nat_eq h_nat_gt x_1155 x_1154 = function
    9393| Nat_lt (n, m) -> h_nat_lt n m
    9494| Nat_eq n -> h_nat_eq n
Note: See TracChangeset for help on using the changeset viewer.