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

Outcomes #48

Closed jamescheney closed 7 years ago

jamescheney commented 7 years ago

This PR changes the evaluation and slicing to use explicit "outcomes", i.e. ret v, raise v. Hole and star outcomes are also included, for completeness.

jstolarek commented 7 years ago

Merged as 5654b25f10ede9896664cd5507fc89b7b9432aad.

BTW. James, you might want to check your editor for settings that highlight trailing whitespace or just delete them on save.