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
7 stars 0 forks source link

Simplify "if" tracing #29

Closed jstolarek closed 7 years ago

jstolarek commented 7 years ago

Currently in Trace data type we have:

  | TIfThen Trace Exp Exp Trace    -- ^ Take "then" branch of if
  | TIfElse Trace Exp Exp Trace    -- ^ Take "else" branch of if

Exp arguments don't seem to be used in any way.

jamescheney commented 7 years ago

Yes, they are an artifact of the "trace replay" that we have removed and not needed now. Expressions in case and function call traces may also be superfluous now.

jstolarek commented 7 years ago

Expressions in case and function call traces may also be superfluous now.

Indeed, they were - I removed them a while ago. Not sure why I didn't do the same with ifs.