cleanup/move repl into its own module.

minor cleanups

Cleaner representation of Term's as Python objects.

REPL handles ^C

First-pass at a REPL

 - user can add new rules (LIMITATIONS: no retracting rules; no queries yet.)

    - new rules check for aggregator conflict.

 - only shows the user what changed as a result of the new rule. rather than
   dumping the entire chart. The chart isn't dumped every time we hit go().

Nicer chart pretty printing (only relevant to sets or lists of items), which is
only experimental.

Reverted Wes' changes to eval it seems like the change was not tested. Sorry Wes.

Nicer formatting for tracing messages. Tracing is no longer printed to
stderr. by defualt, it goes to /tmp/dyna.log (there is a cmdline option to
change that; there is also commands in the REPL "trace on" and "trace off").

merge.

added dynac_code -- toward a REPL!

Merge branch 'master' of github.com:nwf/dyna

oops.

Switch python selftests to run compiler themselves

And only run the interpreter as a captive process.  This change is made with
the intent of more accurately reflecting code coverage when we start
tracking that within self-tests.

added --plan option to feed compiler output directly into interpreter without calling dyna compiler.

Documentation tweaks

Fix haddock in ParserHS

Bug-fix in planner

The ecrux being updated was erroneously fed into the planner as well,
leading to redundant OPIter in output plans.

While here, try to make some error messages more informative.

Syntax modernization and cleanups

Thanks to Juneki Hong for bringing to my attention that some of the
examples no longer built.

Snapshot of work in progress

Notably, this marks the first commit to fix an externally filed bug report;
thanks to Abram Demski for reporting!  Dyna should now build with ghc 7.4
and its Platform releases.  :)

(This commit is a little bigger than just the fix as I had already changed
some of the code in my working tree and there seemed to be no reason not to
just commit things.)

Tweak top-level executables to support DYNAHOME

While tweaking things, take tests out of all target in Makefile

Make a 'misc/' folder for odds and ends

Move HaddockPaths and vimrc there; add GHC bootstrapping script for
safe-keeping.

Move some constants from ANF to SurfaceSyntax

Try harder to build all haddocks at once

This is a pretty nasty hack which involves shell scripting and a small
program to go digging through Cabal internals.

Fix overlooked fallout from conversion to Insts

This has a side-effect of fixing haddock builds. :)

Stop building hsdyna library

Cabal isn't smart enough to use it internally to the other builds, and it
certainly has no other potential users at the moment.

Add "for" as another spelling of "whenever"

Check in TODO list for LSA 2013.

Here's hoping.

Another change to ANF

Now that we are indexing evals by an unique Int, we may as well
enforce that with an IntMap, rather than just a Set.

This is in preparation for displaying each update's ANF after
double-counting prevention cruxes have been added.

Improve ./debug

Cleanup ANF frontend some more

Eliminate the awkward old ANF language in favor of direct translation to
Cruxes in Dyna.Analysis.ANF.  Evaluation cruxes are now properly indexed
within rules using an Int, so we don't have to rely on the output variable
being unique.  There are more flavors of unification cruxes, including
inequality constraints.

The terrible 'handleConflictors' has been replaced with a much more
sane function which operates on cruxes, rather than on DOpAMine, which will
be welcome when we have more interesting OPIter modes.

While here, move python scripts from bin/ to src/Dyna/Backend/Python and
adjust the world.  Use this as an excuse to make ./debug invoke the dyna
compiler only once and dump everything to different files in $PROGRAM.d/

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.

Snapshot before more surgery

First pass at disposition pragmas

More cleanups and a forgotten file

Dependency fixes, hopefully

Snapshot mode stuff

Several small bug fixes

Tidy source tree, update README

Checkpoint effort on the Mercury mode system

Fix and expand Analysis.Mode.Inst

Correct iSubGLB_ definition
Add iEq_ and iSubLUB_
Expand commentary
Better IBound-vs-IBound cases in GLB functions

Some additional utilities appeared in XXX.DataUtils and XXX.MonadUtils.

Some bits of Overton's mode system for Mercury

The beginnings of a re-implementation of Mercury's mode system, as described
in: David Overton. Precise and Expressive Mode Systems for Typed Logic
Programming Languages.  University of Melbourne, Department of Computer
Science and Software Engineering.  Ph.D. thesis. December, 2003.
<http://www.mercury.csse.unimelb.edu.au/information/papers.html#dmo-thesis>

Some more small utility functions

Minor documentation tweaks

Slightly more friendly frontend driver

Update to new parser & trifecta packages

Tidy source tree

  - Separate assignments and unifications in ANF.  Assignments are now
    exclusively for loading (or checking) literals.
  - Move term base cases out from our myriad of representations into
    Dyna.Term.TTerm's TBase.
  - Fix comma and whenever handling in ANF (which is a temporary hack)
    and while there, make "true" and "false" a little closer to correct.
  - Move Analysis.Aggregation over to Main.Exception rather than Either.
  - Remove some dead code from Backend.Python and ParserHS.Parser
  - While here and there, squash some warnings

Haddock parse fix

Parser has a new idea of expressions; planner fix

 - Move handling of the ','/2 and whenever/2 operators into the ANF
   processor, next to '*'/1, '&'/1, and is/2, rather than the parser.
 - Remove the side-condition field in rule forms
 - Fallout from this exposed a really, really bad initialization bug
   in the rule planner, which is now hopefully corrected.

Restore external subodules, update, and update our code

Refactor planner; initial work towards backward chaining

More foolishness with sexy types

Overhaul pipeline and self-tests (╯°□°）╯︵ ┻━┻

This moves us to the much more pleasant position of having one main driver
(in Dyna.Main.Driver) which runs the (common) analysis workers and then
hands off to a user-specified backend (though the interface of
Dyna.Main.BackendDefn).  Along the way, we can dump (to stderr or to files)
things we might care about.

Move the python interpreter and debugging tool over to the new pipeline
driver.  While doing that, add a "ghcbuild" target to the Makefile that may
behave better than the cabal-istic build mechanism for older GHCs than the
one on my machine.

Add a Python backend selftest module which compares us against "golden"
files in examples/expected/; they are named ".py.out" on the chance that we
get similar golden files for other backends eventually.  Wire this in to the
main test harness on the "simple" and "papa2" examples.

While here, move the test harness out of Dyna.Test to Dyna.Main.TestsDriver,
update the README, and move it to Markdown.

┬──┬ ノ( ゜-゜ノ)

Comment out compile-failing K3 test case

bin/interpreter.py trace to stderr

exciting new aggregators and command-line options.

merge

new aggregator interface.

tweaks to constants in Python.hs

Move the K3 backend to Backend.K3

Fix the parser and selftests

Plumb through first pass at rule indexing

While here, rename FRule to Rule and fallout

REPL uses dyna compiler to get plans; suppports (to some extent) the addition of
new rules (deletion or rules should be pretty easy to add).

improvements to code load and compile.

Python codegen no longer uses call indirection table.

'and_equals' and 'or_equals' use python 'and' and 'or' instead of python '&' and
'|', which are bit-twiddling operations.

merge

Rework rule planner to take modes from backend

While here, factor out some material to Dyna.Analysis.Base, and execute a
proof-of-concept change by adding true/0 and false/0 as constants which
evaluate to True and False in the Python backend.

Some other minor changes seem to have crept in, too.

nonlinear unification.

row slicing - an example of interesting structure building

example of aggregator conflict.

doc tweaks.

using "pair-valued" shape as suggested by Jason in 12/14 Dyna meeting.

added sigmoid - a simple example of back-chained math

tweaks to dijkstras

tiny tweak to codegen

rename

--HG--
rename : bin/stdlib.py => bin/interpreter.py

minor bugfix in plus equals and times equals aggregator, regarding None
values. This tweaks the reactivity issues I was having with the papa2 example.

I've also made a few minor, cleanup/tweaks to stdlib.

tweaks

tweaks to python code.

merge

matrix shape.

Create Dyna.Main. and move exceptions there

fix boo-boo

FIX: aggregating on empty returns None, which now propagate correctly thru the
program.

Add examples/dijkstra.dyna, taken from Dyna 1

tweaks.

tweaks

()

()

merge

()

Let's try that again.

Stop being quite so ambitious in Analysis.RuleMode.inv

simpl, flat, replacement updates in python script.

very nice webpage generated.

merge

Missed in the last round of commits

merge

working on some javascript hacks to help us manage our compiler output.

More .gitignore rules

Add perverse examples

Code shuffling for debugging backends

remove old update planner.

ENH: dump-to-file/display stable rendering of chart.

Handle "diagonal" cases in rule planner

FIX: accidently delete on unchanged values

tweaks.

Put "call" indirection table and aggregator definitions in defn ("definitions")
module.

added matrixops examples; demonstrates the "edge template overcounting problem" - a template which shouldnt fire more than once results in overcounting.