| Title | Not clear whether pointers should be stored in client or base form |
| Status | closed |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | A customer [1] was not sure whether references should be stored as client pointers or base pointers. |
| Analysis | It's up to you how you store your pointers so long as you decode them before passing them to the MPS. But generally the most convenient format is client pointers: then your scan method doesn't have to do any decoding. The manual could make this clearer. |
| How found | customer |
| Evidence | [1] <https://info.ravenbrook.com/mail/2015/01/07/21-42-36/0/> |
| Created by | Gareth Rees |
| Created on | 2015-01-13 21:12:23 |
| Last modified by | Gareth Rees |
| Last modified on | 2015-09-01 13:06:05 |
| History | 2015-01-13 GDR Created. |