Ignore:
Timestamp:
Feb 9, 2011, 6:22:34 PM (9 years ago)
Author:
campbell
Message:

Pointer fixes for the temporary version of the compiler that can output matita
terms.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.3/8051-memoryspaces-branch/src/clight/clight.mli

    r461 r489  
    7171  | Tunion of ident*(ident*ctype) list
    7272  (**r union types *)
    73   | Tcomp_ptr of ident          (**r pointer to named struct or union *)
     73  | Tcomp_ptr of memory_space * ident           (**r pointer to named struct or union *)
    7474
    7575(** ** Expressions *)
     
    194194  | Init_int8 of int
    195195  | Init_int16 of int
    196   | Init_int24 of int
     196  | Init_null of memory_space
    197197  | Init_int32 of int
    198198  | Init_float32 of float
    199199  | Init_float64 of float
    200200  | Init_space of int
    201   | Init_addrof of ident*int  (**r address of symbol + offset *)
     201  | Init_addrof of memory_space*ident*int  (**r address of symbol + offset *)
    202202
    203203type program = {
Note: See TracChangeset for help on using the changeset viewer.