search

jstolarek / slicer

Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK
http://dl.acm.org/citation.cfm?id=3110258
GNU General Public License v3.0
6 stars 0 forks source link

Potential bug: VStar in environment resulting from bwdSlice #46

Open jstolarek opened 7 years ago

jstolarek commented 7 years ago

During backward slicing it is possible that VStar values are introduced into the returned environment. There's an extract function for dealing with this. I have not yet run into a situation where this would manifest, ie. where stars returned in the environment would cause an exception. I think this would only show as a resugaring exception. For now I'm leaving this unfixed until someone actually writes a program that hits this problem.

jamescheney commented 7 years ago

Yes, extract should be applied at the end to copy over the original values of any VStars in the initial environment (or store).