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/cparser/Cutil.ml

    r461 r489  
    662662
    663663let nullconst =
    664   { edesc = EConst(CInt(0L, ptr_t_ikind, "0")); etyp = TPtr(Any, TVoid [], []); espace = Code } (* XXX *)
     664  { edesc = ECast(TPtr(Any, TVoid [], []), { edesc = EConst(CInt(0L, ptr_t_ikind, "0")); etyp = TInt(ptr_t_ikind, []); espace = Code}); etyp = TPtr(Any, TVoid [], []); espace = Code } (* XXX *)
    665665
    666666(* Construct a sequence *)
Note: See TracChangeset for help on using the changeset viewer.