Mercury Bugs - mercury
View Issue Details
0000054mercuryBugpublic2008-03-26 15:282008-03-26 15:28
Reportermark 
Assigned Tomark 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
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
2008-03-26 15:28markNew Issue
2008-03-26 15:28markStatusnew => assigned
2008-03-26 15:28markAssigned To => mark