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

    r453 r460  
    125125(** Types *)
    126126
     127type memory_space =
     128  | Any
     129  | Data
     130  | IData
     131  | PData
     132  | XData
     133  | Code
     134
    127135type typ =
    128136  | TVoid of attributes
    129137  | TInt of ikind * attributes
    130138  | TFloat of fkind * attributes
    131   | TPtr of typ * attributes
    132   | TArray of typ * int64 option * attributes
     139  | TPtr of memory_space * typ * attributes
     140  | TArray of memory_space * typ * int64 option * attributes
    133141  | TFun of typ * (ident * typ) list option * bool * attributes
    134142  | TNamed of ident * attributes
     
    138146(** Expressions *)
    139147
    140 type exp = { edesc: exp_desc; etyp: typ }
     148type exp = { edesc: exp_desc; etyp: typ; espace: memory_space }
    141149
    142150and exp_desc =
     
    221229
    222230and globdecl_desc =
    223   | Gdecl of decl           (* variable declaration, function prototype *)
     231  | Gdecl of memory_space * decl  (* variable declaration, function prototype *)
    224232  | Gfundef of fundef                   (* function definition *)
    225233  | Gcompositedecl of struct_or_union * ident (* struct/union declaration *)
Note: See TracChangeset for help on using the changeset viewer.