]> hydra-www.ietfng.org Git - dyna2/commit
First pass at new mode infrastructure plumbing
authorNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Fri, 3 May 2013 23:43:07 +0000 (19:43 -0400)
committerNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Fri, 3 May 2013 23:44:32 +0000 (19:44 -0400)
commit85edb5149bf5e8aa486337678ad5f7bfe4bc8a1d
tree34beecd7dd4b08d982a6a5120ec7564954284a2e
parent17a898082bc7c44d9341200dc2a70e9e5ff61c5e
First pass at new mode infrastructure plumbing

This brings the Mercury mode system all the way out through the planner,
though it does not actually really avail itself of any of the improved
functionality.  It compiles and passes all selftests, but that, too, is
hardly saying anything.
33 files changed:
Makefile
dyna.cabal
examples/expected/papa2.py.out
examples/expected/simple.py.out
examples/papa2.dyna
src/Dyna/Analysis/ANF.hs
src/Dyna/Analysis/Aggregation.hs
src/Dyna/Analysis/Base.hs [deleted file]
src/Dyna/Analysis/DOpAMine.hs [new file with mode: 0644]
src/Dyna/Analysis/Mode.hs
src/Dyna/Analysis/Mode/Execution/NamedInst.hs
src/Dyna/Analysis/Mode/Execution/NoAliasContext.hs [new file with mode: 0644]
src/Dyna/Analysis/Mode/Execution/NoAliasFunctions.hs [new file with mode: 0644]
src/Dyna/Analysis/Mode/Inst.hs
src/Dyna/Analysis/Mode/Mode.hs [new file with mode: 0644]
src/Dyna/Analysis/Mode/Selftest/NamedInst.hs
src/Dyna/Analysis/Mode/Selftest/Term.hs
src/Dyna/Analysis/Mode/Unification.hs
src/Dyna/Analysis/RuleMode.hs
src/Dyna/Backend/BackendDefn.hs [moved from src/Dyna/Main/BackendDefn.hs with 60% similarity]
src/Dyna/Backend/Backends.hs [new file with mode: 0644]
src/Dyna/Backend/NoBackend.hs [new file with mode: 0644]
src/Dyna/Backend/Python.hs
src/Dyna/Backend/Python/Selftest.hs
src/Dyna/Main/Driver.hs
src/Dyna/Main/Exception.hs
src/Dyna/Main/TestsDriver.hs
src/Dyna/ParserHS/Parser.hs
src/Dyna/ParserHS/Selftest.hs
src/Dyna/Term/Normalized.hs [new file with mode: 0644]
src/Dyna/XXX/DataUtils.hs
src/Dyna/XXX/MonadContext.hs
vimrc [new file with mode: 0644]