]> hydra-www.ietfng.org Git - dyna2/commit
projects / dyna2 / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9521cd7) | patch
Rescue ctxFromBindings for aliased case
authorNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Tue, 18 Jun 2013 02:12:19 +0000 (22:12 -0400)
committerNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Tue, 18 Jun 2013 02:12:19 +0000 (22:12 -0400)
commit3d04ee01533eeaee17492d0054504cc2e8837fcb
treee3eca06a772904d1509adb50cd3cfef379052ccctree | snapshot
parent9521cd7f33d85d59662bef80c4aad48ce5e9467ccommit | diff
Rescue ctxFromBindings for aliased case

Use it in the test suite, just like for the unaliased machinery.
This is cherry-picked from 4e0fc1726ab4abf1326ea61ae5225f0bb5167707.
src/Dyna/Analysis/Mode/Execution/Context.hs diff | blob | history
src/Dyna/Analysis/Mode/Selftest/Contexts.hs diff | blob | history