Changeset 2833


Ignore:
Timestamp:
Mar 8, 2013, 11:40:56 PM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/aSMCosts.ml

    r2827 r2833  
    128128      (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S
    129129      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 *)) }
    133133
    134134(** val trace_any_label_length :
Note: See TracChangeset for help on using the changeset viewer.