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/src/clight/clight.mli

    r453 r460  
    77
    88(** ** Types *)
     9
     10type memory_space = Any | Data | IData | PData | XData | Code
    911
    1012(** Clight types are similar to those of C.  They include numeric types,
     
    6264  | Tint of intsize*signedness                  (**r integer types *)
    6365  | Tfloat of floatsize                         (**r floating-point types *)
    64   | Tpointer of ctype                           (**r pointer types ([*ty]) *)
    65   | Tarray of ctype*int                         (**r array types ([ty[len]]) *)
     66  | Tpointer of memory_space * ctype            (**r pointer types ([*ty]) *)
     67  | Tarray of memory_space * ctype*int          (**r array types ([ty[len]]) *)
    6668  | Tfunction of ctype list*ctype               (**r function types *)
    6769  | Tstruct of ident*(ident*ctype) list
     
    201203  prog_funct: (ident * fundef) list ;
    202204  prog_main: ident option;
    203   prog_vars: ((ident * init_data list) * ctype) list
     205  prog_vars: (((ident * init_data list) * memory_space) * ctype) list
    204206}
Note: See TracChangeset for help on using the changeset viewer.