Changeset 1253


Ignore:
Timestamp:
Sep 22, 2011, 2:57:21 PM (8 years ago)
Author:
mulligan
Message:

uses.ma finished

Location:
src
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/uses.ma

    r1251 r1253  
    5555  ].
    5656
    57 (*
    5857definition examine_internal ≝
    5958  λglobals: list ident.
    6059  λint_fun: ertl_internal_function globals.
    61   let graph ≝ recover_graph globals int_fun in
    62   let uses ≝ tbl_fold … (examine_statement globals) (joint_if_code … int_fun) (tbl_empty …) in
    63       lookup uses.
    64 *)
     60  let uses ≝ graph_fold ?? (λ_. examine_statement globals) (joint_if_code … int_fun) (tbl_empty …) in
     61    lookup uses.
  • src/common/Graphs.ma

    r1082 r1253  
    2020definition graph : Type[0] → Type[0] ≝ identifier_map LabelTag.
    2121
     22definition graph_fold ≝
     23  λA, B: Type[0].
     24  λf.
     25  λgraph: graph A.
     26  λseed: B.
     27  match graph with
     28  [ an_id_map map ⇒ fold A B 16 f map seed
     29  ].
     30
    2231axiom graph_add:
    2332  ∀A: Type[0].
Note: See TracChangeset for help on using the changeset viewer.