Use assertions to ensure that exception values are not stored in en environment or on the store

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

Use assertions to ensure that exception values are not stored in en environment or on the store #38

Closed jstolarek closed 7 years ago

jstolarek commented 7 years ago

Done for store.

For Env we either need to make it specialized to a Value (which requires moving all the definitions to Core module to avoid cycle) or create a type class with function isException :: a -> Bool. For now there will be just one instance for this class, namely for Value, but we can extend in the future. I'm leaning towards type-class solution.

jstolarek commented 7 years ago

With implementation of outcomes (5654b25f10ede9896664cd5507fc89b7b9432aad) this is no longer a problem.