Ignore:
Timestamp:
Jan 19, 2011, 6:23:27 PM (9 years ago)
Author:
campbell
Message:

Port memory spaces changes to latest prototype compiler.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.3/8051-memoryspaces-branch/cparser/Env.ml

    r453 r460  
    7171
    7272type ident_info =
    73   | II_ident of storage * typ
     73  | II_ident of storage * typ * memory_space
    7474  | II_enum of int64                    (* value of the enum *)
    7575
     
    202202(* Inserting things by source name, with generation of a translated name *)
    203203
    204 let enter_ident env s sto ty =
     204let enter_ident env s sto ty sp =
    205205  let id = fresh_ident s in
    206206  (id,
    207    { env with env_ident = IdentMap.add id (II_ident(sto, ty)) env.env_ident })
     207   { env with env_ident = IdentMap.add id (II_ident(sto, ty, sp)) env.env_ident })
    208208
    209209let enter_composite env s ci =
     
    221221(* Inserting things by translated name *)
    222222
    223 let add_ident env id sto ty =
    224   { env with env_ident = IdentMap.add id (II_ident(sto, ty)) env.env_ident }
     223let add_ident env id sto ty sp =
     224  { env with env_ident = IdentMap.add id (II_ident(sto, ty, sp)) env.env_ident }
    225225
    226226let add_composite env id ci =
Note: See TracChangeset for help on using the changeset viewer.