MPS issue job003631

TitleUser guide doesn't cover stretchy vector problem
Statusclosed
Prioritynice
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionThe user guide [1] stresses that objects must be consistent at all times [2] (and there's an example of stretchy vectors in the hash table implementation [3]). But this issue comes up regularly in integrations so there ought to be a specific section about the problem.
AnalysisComes up if you try to use C++ STL vector classes. See conversation with Christian Schafmeister [4].
How foundinspection
Evidence[1] <https://www.ravenbrook.com/project/mps/master/manual/html/guide/index.html>
[2] <https://www.ravenbrook.com/project/mps...guide/lang.html#maintaining-consistency>
[3] <https://www.ravenbrook.com/project/mps...guide/advanced.html#location-dependency>
[4] <https://info.ravenbrook.com/mail/2013/08/16/21-47-33/0/>
Created byGareth Rees
Created on2013-10-01 15:57:04
Last modified byGareth Rees
Last modified on2014-05-26 12:39:38
History2013-10-01 GDR Created.

Fixes

Change Effect Date User Description
186305 closed 2014-05-26 12:39:38 Gareth Rees New chapter of the guide discusses the "stretchy vector" problem.