Changeset 2759 for extracted


Ignore:
Timestamp:
Mar 1, 2013, 7:56:34 PM (7 years ago)
Author:
campbell
Message:

Print out costs, with choice of style.
Note small anti-assertion patch to extracted ASMCosts.
No stack space yet.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/aSMCosts.ml

    r2743 r2759  
    108108      (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S
    109109      Nat.O)))))))))))))))) (Obj.magic pc) cost_labels);
    110     StructuredTraces.as_call_ident = (assert false (* absurd case *));
    111     StructuredTraces.as_tailcall_ident = (assert false (* absurd case *)) }
     110    StructuredTraces.as_call_ident = (fun _ -> assert false (* absurd case *));
     111    StructuredTraces.as_tailcall_ident = (fun _ -> assert false (* absurd case *)) }
    112112
    113113(** val trace_any_label_length :
Note: See TracChangeset for help on using the changeset viewer.