Changeset 2768 for src/common


Ignore:
Timestamp:
Mar 3, 2013, 2:44:30 PM (7 years ago)
Author:
mckinna
Message:

Nightmare: file no longer typechecks,
because defn as_cost_get_labels no longer complete
Solution: defn commented out
(plus the function it is supposed to map over as_cost_label lists)

Not used anywhere, so harmless, but ... !!!

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/StructuredTraces.ma

    r2760 r2768  
    6868  λS : abstract_status. list (as_cost_label S).
    6969
     70(*
    7071definition as_cost_get_label ≝
    7172  λS : abstract_status. λl_sig: as_cost_label S. pi1 … l_sig.
    7273
     74(* JHM: this no longer is a complete definition! but not used; so commented out for now *)
    7375definition as_cost_get_labels ≝
    7476  λS : abstract_status. map … (as_cost_get_label S).
     77*)
    7578
    7679definition as_cost_map ≝
Note: See TracChangeset for help on using the changeset viewer.