Skip to content
  • John van Groningen's avatar
    optimise Ptr in module Heap, remove the Heap from the Ptr, by defining Heap... · b9ba84ce
    John van Groningen authored
    optimise Ptr in module Heap, remove the Heap from the Ptr, by defining Heap and the ..HeapId types as noncreatable types a Ptr cannot be used with the wrong Heap. Because Clean 3.1 does not support noncreatable types, newHeap is used in the Start function only and the constructors of the ..HeapId types are not used, this will be changed later
    b9ba84ce