Changeset 1058 for src/Clight/Cexec.ma


Ignore:
Timestamp:
Jul 6, 2011, 1:29:58 PM (9 years ago)
Author:
campbell
Message:

Evict CompCert? Maps interface in favour of BitVectorTries?.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/Cexec.ma

    r964 r1058  
    276276  match e' with
    277277  [ Evar id ⇒
    278       match (get … id en) with
     278      match (lookup ?? en id) with
    279279      [ None ⇒ do l ← opt_to_res ? [MSG UnknownIdentifier; CTX ? id] (find_symbol ? ? ge id); OK ? 〈〈l,zero_offset〉,E0〉 (* global *)
    280280      | Some loc ⇒ OK ? 〈〈loc,zero_offset〉,E0〉 (* local *)
     
    330330  match h with [ pair id ty ⇒
    331331    match alloc m 0 (sizeof ty) Any with [ pair m1 b1 ⇒
    332       exec_alloc_variables (set … id b1 en) m1 vars
     332      exec_alloc_variables (add ?? en id b1) m1 vars
    333333]]].
    334334
     
    344344      [ nil ⇒ Error ? (msg WrongNumberOfParameters)
    345345      | cons v1 vl ⇒
    346           do b ← opt_to_res ? [MSG UnknownIdentifier; CTX ? id] (get … id e);
     346          do b ← opt_to_res ? [MSG UnknownIdentifier; CTX ? id] (lookup ?? e id);
    347347          do m1 ← opt_to_res ? [MSG FailedStore; CTX ? id] (store_value_of_type ty m b zero_offset v1);
    348348          exec_bind_parameters e m1 params' vl
Note: See TracChangeset for help on using the changeset viewer.