diff options
| -rw-r--r-- | 050_write.subx | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/050_write.subx b/050_write.subx index 13f3cddf..f4b95c0d 100644 --- a/050_write.subx +++ b/050_write.subx @@ -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 # code can't store large types in registers. # - '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 # only be stored on the stack (say to pass objects by reference). |