Ignore:
Timestamp:
Jan 28, 2011, 2:41:49 PM (9 years ago)
Author:
campbell
Message:

Separate out null values from integer zeros.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.1/C-semantics/Mem.ma

    r483 r484  
    737737      setN 7 pos (Vfloat f) (reccall (pos + oneZ))
    738738  | Init_space n ⇒ reccall (pos + Zmax n 0) (*??*)
    739   | Init_null r ⇒ setN (pred_size_pointer r) pos (Vint zero) (reccall (pos + oneZ))
     739  | Init_null r ⇒ setN (pred_size_pointer r) pos (Vnull r) (reccall (pos + oneZ))
    740740  | Init_addrof s n ⇒
    741741      (* Not handled properly yet *)
Note: See TracChangeset for help on using the changeset viewer.