Changeset 2833 for extracted/aSMCosts.ml
 Timestamp:
 Mar 8, 2013, 11:40:56 PM (8 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/aSMCosts.ml
r2827 r2833 128 128 (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S 129 129 Nat.O)))))))))))))))) (Obj.magic pc) cost_labels); 130 StructuredTraces.as_result = ( assert false (* absurd case *));131 StructuredTraces.as_call_ident = ( assert false (* absurd case *));132 StructuredTraces.as_tailcall_ident = ( assert false (* absurd case *)) }130 StructuredTraces.as_result = (fun x > assert false (* absurd case *)); 131 StructuredTraces.as_call_ident = (fun x > assert false (* absurd case *)); 132 StructuredTraces.as_tailcall_ident = (fun x > assert false (* absurd case *)) } 133 133 134 134 (** val trace_any_label_length :
Note: See TracChangeset
for help on using the changeset viewer.