Changeset 1253 for src/ERTL


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

uses.ma finished

File:
1 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.
Note: See TracChangeset for help on using the changeset viewer.