... | ... | @@ -26,6 +26,10 @@ The way the tag bits are used depends on the type of object pointed to: |
|
|
|
|
|
- For a pointer to any other object (including a PAP), the tag bits are always zero.
|
|
|
|
|
|
We say that a pointer is **properly tagged** if the tag bits in the pointer are as described above. Most pointers are not required to be properly tagged, in which case their tag bits are zero, meaining "don't know".
|
|
|
|
|
|
The garbage collector makes all pointers properly tagged, as it runs. **Question** Is this true?
|
|
|
|
|
|
### Tagging of large and small families
|
|
|
|
|
|
In the past small families where tagged with their constructor while large families, if tagged, where always `1` indicating an evaluate value.
|
... | ... | |