Changeset 2176 for src/common/GenMem.ma


Ignore:
Timestamp:
Jul 12, 2012, 1:28:28 PM (7 years ago)
Author:
campbell
Message:

Remove memory spaces other than XData and Code; simplify pointers as a
result.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/GenMem.ma

    r2105 r2176  
    106106definition empty: mem ≝
    107107 mk_mem (λx.empty_block OZ OZ) (pos one) one_pos.
    108 
    109 definition nullptr: block ≝ mk_block Any OZ.
    110108
    111109(* Allocation of a fresh block with the given bounds.  Return an updated
Note: See TracChangeset for help on using the changeset viewer.