2019-10-16 17:55 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000054mercuryBugpublic2008-03-26 15:28
Reportermark 
Assigned Tomark 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
Product Version 
Target VersionFixed in Version 
Summary0000054: rtti_varmaps not updated by follow_code
DescriptionThe rtti_varmaps data structure keeps track of which program
variables hold which type(class)_infos. When follow_code migrates
an existentially typed deconstruction into the branches of a
branched goal, a type(class)_info that was accessed from one
location is now accessed from multiple locations -- none of
which is correct in all cases.
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

-Issue History
Date Modified Username Field Change
2008-03-26 15:28 mark New Issue
2008-03-26 15:28 mark Status new => assigned
2008-03-26 15:28 mark Assigned To => mark
+Issue History