Ignore:
Timestamp:
Feb 9, 2011, 6:22:34 PM (8 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/clightToCminor.ml

    r461 r489  
    5353    | Init_int8 i       -> Data_int8 i
    5454    | Init_int16 i      -> Data_int16 i
    55     | Init_int24 i      -> Data_int24 i
     55    | Init_null _       -> Data_int32 0
    5656    | Init_int32 i      -> Data_int32 i
    5757    | Init_float32 _
    5858    | Init_float64 _    -> assert false (*Not supported*)
    5959    | Init_space n      -> Data_reserve n
    60     | Init_addrof (_,_) -> assert false (* FIXME What is this ?*)
     60    | Init_addrof _ -> assert false (* FIXME What is this ?*)
    6161) l
    6262
Note: See TracChangeset for help on using the changeset viewer.