This commit is contained in:
Kartik Agaram 2019-12-22 07:30:49 -08:00
parent 80612d80d2
commit 075e89d9a0

View File

@ -20,7 +20,10 @@ Entry: # just exit; can't test _write just yet
# - 'ref' which is used to point to a unique element, because machine # - 'ref' which is used to point to a unique element, because machine
# code can't store large types in registers. # code can't store large types in registers.
# - 'handle' which can point to a heap allocation, different heap allocations # - 'handle' which can point to a heap allocation, different heap allocations
# at different times, or even at times nothing at all. # at different times, or even at times nothing at all. (Later on handles
# will turn into fat pointers to enable safe reclamation. But in unsafe
# levels we'll just never reclaim them, and handles will be word-sized just
# like refs.)
# #
# The type 'address' can be obtained from either a ref or handle, but it can # The type 'address' can be obtained from either a ref or handle, but it can
# only be stored on the stack (say to pass objects by reference). # only be stored on the stack (say to pass objects by reference).