search

tweag / pirouette

Language-generic workbench for building static analysis
MIT License
47 stars 2 forks source link

Replace two nested `ReaderT`s with one in `SymEval` #116

Closed 0xd34df00d closed 2 years ago

0xd34df00d commented 2 years ago

A couple of changes around the SymEval monad that I'd like to get out of the way now before they clutter more cumbersome work on deStateTification of the monad.

Not sure if that's an improvement — please feel free to reject.