2024-07-16 00:26 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000054mercuryBugpublic2008-03-26 15:28
Assigned Tomark 
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


There are no notes attached to this issue.

-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