Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK
At some point during code cleanup I parameterized EvalState by types of values stored in the environment. This was motivated by code in Annot module that didn't store Values in the environment but used something else instead. Now that Annot is gone there is no need to have that extra type argument. Code will be shorter and cleaner.
At some point during code cleanup I parameterized
EvalState
by types of values stored in the environment. This was motivated by code inAnnot
module that didn't storeValue
s in the environment but used something else instead. Now thatAnnot
is gone there is no need to have that extra type argument. Code will be shorter and cleaner.