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.mli

    r453 r460  
    3232}
    3333
    34 type ident_info = II_ident of C.storage * C.typ | II_enum of int64
     34type ident_info = II_ident of C.storage * C.typ * C.memory_space | II_enum of int64
    3535
    3636type typedef_info = C.typ
     
    6161val find_typedef : t -> C.ident -> typedef_info
    6262
    63 val enter_ident : t -> string -> C.storage -> C.typ -> C.ident * t
     63val enter_ident : t -> string -> C.storage -> C.typ -> C.memory_space -> C.ident * t
    6464val enter_composite : t -> string -> composite_info -> C.ident * t
    6565val enter_enum_item : t -> string -> int64 -> C.ident * t
    6666val enter_typedef : t -> string -> typedef_info -> C.ident * t
    6767
    68 val add_ident : t -> C.ident -> C.storage -> C.typ -> t
     68val add_ident : t -> C.ident -> C.storage -> C.typ -> C.memory_space -> t
    6969val add_composite : t -> C.ident -> composite_info -> t
    7070val add_typedef : t -> C.ident -> typedef_info -> t
Note: See TracChangeset for help on using the changeset viewer.