Prune some unused code from the test suite

Add hpc coverage for self-tests

Run with "make test-hpc" and then open dist/selftest-hpc-out/index.html for
your viewing pleasure.

better FIFO

Issue #1: display [] instead of &nil.

Issue #40: Dyna will concatenate files for you, but it won't give you nice error messages.

Fix "longest-match" requirement on operators

We were running a token parser before the "notFollowedBy", which is clearly
wrong.  Now, tokenize a strict string then notFollowedBy.  This will require
that users write things like "... <oper> -<expr>" even though "<oper><expr>"
is accepted and "-<expr>" is an <expr>.

While here, add an explicit regression test for this bug.

This closes nwf/dyna#45 .

Merge ../working

Issue #15: updated Jason's Dijkstra backpointer example to use  which doesn't quote its second argument.

remove numpy as dep to speed-up load time Issue #44

Merge ../working

(Issue #46) `:-` now implicit aggregator for facts. `|=` no longer available.

with_key no longer quotes it's second argument.

minor edits

added forward-backward.dyna, and its companion file icecream.dyna.
It exposes errors in the current implementation: see #47.

restored +x permission to debug (somehow removed before previous commit)

simplified examples/dijkstra-backpointers.dyna, and added a variant

merge.

fixed force-directed layout.

new infix operator for alist `->`/2

tweaks to list tests.

small improvements to handling booleans

clean up aggregators

crash handler hook (write repl lines)

hide ugly file names in error messages

more test cases added coverage target to makefile

added a few more test cases.

()

Small tweaks.

added `range` to stdlib

tiny tweak (nonfunctional) to doctest.

small improvement to bool (runtime) type checking.

Small, non-functional changes around the tree

Try to improve python crash logging

This seems like it should work, but IPython seems to be getting in my way.

exitFailure on panic

added parsing (training, parsing, testing) `test/app/ptb.dynadoc`.

make run-doctest.py executable

catch errors when retracting rules.

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

Issue #12 simplify output of "draw" command. Edge crux shrunk down to small
circle. Mouse over shows the rule source and rule index.

minor tweaks to readme.

circle. Mouse over shows the rule source and rule index.

minor tweaks to readme.

()

update tests - new solution formatting.

Issue #38 "better printing of :- items, and better type checking for :-, |=, &="

`:-` and `|=` are now synonymous.

might error when retracting a BC rule.

tweaks.

()

use doctests

use doctester

remove cruft.

`dict=` create something like associative list -- this lets us use it in our
dyna programs.

doctests strip colors

tweak to solution print out: print 'Solution empty' instead of a "Solution"
heading.

proper BC rule retraction.

Merge ../working

added dyna doctest for retracting BC rules.

working on fixing BC rule retraction.

Generate update plans for backchained items

This is necessary to allow retraction.

While here, wire up a backchain example into the test harness.

Merge ../working

added dijkstra-backpointers to end-to-end tests.

added `with_key` infix operator for (Issue #29 Backpointers) and argument
disposition for `$key/1`.

Removed previous version of `argmin=/argmax=`.

Merge ../working

implementation of @nwf's argm idea for backpointers (#29). Uses `$key` instead
of `argm`.

BUGFIX: hash and eq for list wasn't correct.

Merge ../working

minor fix to trace formatting

Merge ../working

multiline input in doctest

disable REPL run command.. it doesn't pass parser state along.

Merge ../working

Overhaul error message displays

 - "pop-time": aggregation errors (e.g. two distinct values following into an
   `=` aggregator) are group by functor/arity, then by type and only 10
   instances are shown.

 - "push-time": errors are grouped by rule, then error type (e.g. TypeError,
   DivisionByZero), only 10 instances of the error are displayed.

 - These changes help avoid an overwhelming cascade of very similar
   errors. Users should be able to trace the sources of these errors using other
   tools (e.g. `trace`)

Resolve issue #36

Program rules available in $rule -- doesn't do anything yet however.

Tweaks to doctest runner.

Merge ../working

improvements to `examples/ptb.dyna`

 - (no longer a complete mess thanks to the new `load` commands)

 - does binarization

 - extracts and counts rules in a s-expression tree.

 - parses a sentence given as a string AND extracts the optimal parse by
   following backpointers.

sexpr loader uses nested lists as it's representation

'in'(+,+)+ asserts second arg is a list.

retract_rule: no longer crashes when retracting a backchained rule. There are
possible bugs because we haven't deleted the memo tables affected by that rule.

REPL: show changes after 'load' commands

String display format should no longer render special characters like '\n'

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

Stop collecting update handlers by functar

It seems much more profitable, going forward, to collect most things by
rules.  If we want to get into fusion later, that's fine, but for the
moment...

Add PHONY label to tags targets in Makefile

Error when user tries to iterate over something which is not a list (e.g. using
'in' operator).

stable `set` and `bag` ordering.

added example of optimal path extraction for shortest path.

Proposal for definition of `argmax=/argmin=`.

tweaks to trace to print lists nicely, and infix 'in'

Simplify error message pertaining to retracting a rule and when a query or trace
fails.

added infix 'in' operator for "iterating" the elements of a list (i.e. `a += x
for X in [1,2,3].` with `X` free and the list bound.) and check if the item
exists in the list.

added `mean=` aggregator.

`set=` and `bag=` aggregators return dyna lists. So we can use the results in
other rules.

make sure we show changes when we `retract_rule`

when we show changes we print a header

    > a += 1.

    Changes
    =======
    a = 1.

Also, pycall translates python and dyna lists.

Fixed formatting of lists, strings are double quoted.

Fixed `query [A|_] is [1,2,3]` -- we weren't substituting `A`.

minor cleanup.

update tests to reflect new output format.

Changed output format yet again. Everything is now consistent with "term =
value."

Robustified retract_rule.

Incorporated Jason's tweaks to trace.

hide ugly filenames from users.

updated documentation to use new repl `>` instead of `:-`.

fixed repl test

merge

updated repl tests.

Many changes

* changed repl prompt

* commented out failed attempt at providing 'for X in [1,2,3]'

* hid developer tools from repl.

* trace:

  - fixed cycle detection

  - terser information printed for each edge.

    item => value

      | += val1
      |
      |    instantiated rule with subexpressions and variable values shown
      |    inline.
      |
      |     RECURSE on items in rule.
      |
      | += val2

  - changed color coding.

  - documentation, `> help trace`

* No more barfing on empty input to trace, query, vquery.

changed repl prompt

commented out failed attempt at providing 'for X in [1,2,3]'

hid developer tools from repl.

trace:

  - fixed cycle detection

  - terser information printed for each edge.

    item => value

      | += val1
      |
      |    instantiated rule with subexpressions and variable values shown
      |    inline.
      |
      |     RECURSE on items in rule.
      |
      | += val2

  - changed color coding.

  - documentation, `> help trace`

No more barfing on empty input to trace, query, vquery.

Soften exception messages a bit

Some infinitessimal part of github issue #32.

Bump required versions of parsers and trifecta

Parsers v0.8.3 (commit 537337c9) undoes a performance regression
(of my creation, oops) which turns out to be important for us.

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

Add special handling for = and ==.

Their evaluation has been inlined, increasing the number of modes supported.

Changed output format for solution

Wire up oper pragmas.

They're a little unpleasant, but it works.  While here, correct the
documentation.

Remove defaults from operator parser

(Some unit-tests keep them on for the moment)

Strictify Main.Driver configuration fields

Notably, this improves handling of some invocation errors, as it forces
things earlier.

Add [,,,|Rest] syntax support to parser

trace available at repl supports viewing derivations each item matching query

    :- a :- b.
    :- b:- c.
    :- c.
    =============
    a := true
    b := true
    c := true
    :- trace a

    a = true
    |
    └─ :- true
       # a :- b.
       # a :- b. where {}
       head:   &a
       result: b=true
       |
       └─ b = true
          |
          └─ :- true
             # b:- c.
             # b:- c. where {}
             head:   &b
             result: c=true
             |
             └─ c = true
                |
                └─ |= true
                   # c.
                   # c. where {}
                   head:   &c
                   result: &true

Many changes

* Support for `=` aggregator. #23

* BUGFIX: when --plan is specified (sorry :-X)

* tweak to error handling. when an item's aggregator fails we set it's value to
  $error instead of it's last "ok" value.

  the repl also show this item as "changed"

* tweaks to doctest runnner

* attempt at contains/2 for list membership -- will eventually change to infix
  operator `in`

* cons and nil can't be assigned values.

Each Interpreters now has a workspace `~/.dyna/tmp/$PID`. This directory is for
any files used by the code generator, REPL, etc.

tweaks to the README, todo list, and repl formatting.

Tweaks to error messages.

Improved documentation for loaders and post-processors.

()

added examples/lists.dyna to end-to-end tests

merged

Merge ../working

cleanup

Removed existing calls to pycall. stdlib functions must be declared manually as
a case in the `constants` function `Python/Backend.hs`. Otherwise, `pycall` is
still available.

()

pygments is now optional (if it's missing you are warned if you run or import
debug somewhere.)

extended dyna compiler wrapper (dynac)

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