MPS issue job003906

TitleNot clear whether pointers should be stored in client or base form
Assigned userGareth Rees
DescriptionA customer [1] was not sure whether references should be stored as client pointers or base pointers.
AnalysisIt'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 foundcustomer
Evidence[1] <>
Created byGareth Rees
Created on2015-01-13 21:12:23
Last modified byGareth Rees
Last modified on2015-09-01 13:06:05
History2015-01-13 GDR Created.


Change Effect Date User Description
188193 closed 2015-09-01 13:06:05 Gareth Rees Add note about choice of base/client pointer representation.