Changeset 1249 for src/ERTL/liveness.ma


Ignore:
Timestamp:
Sep 22, 2011, 11:41:27 AM (9 years ago)
Author:
mulligan
Message:

changes to get everything to typecheck again

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/liveness.ma

    r1241 r1249  
    283283  λlabel.
    284284  λliveafter: valuation.
    285   match joint_if_lookup … int_fun label with
     285  match lookup … (joint_if_code … int_fun) label with
    286286  [ None      ⇒ ?
    287287  | Some stmt ⇒ statement_semantics globals stmt (liveafter label)
     
    296296  λlabel.
    297297  λliveafter: valuation.
    298   match joint_if_lookup … int_fun label with
     298  match lookup … (joint_if_code … int_fun) label with
    299299  [ None      ⇒ ?
    300300  | Some stmt ⇒ set_fold ? ? (λsuccessor. λaccu: register_lattice.
Note: See TracChangeset for help on using the changeset viewer.