Jason Eisner

bad parse for [3 | &foo]

3

The rule `a = [3 | 4]' gets an error`Malformed list `a = &cons(3,4)`, which is correct (except that I thought we weren't exposing `cons` anymore?). But `b = [3...

reorganize top-level directory

10

I'd like to point people to the github project page http://github.com/nwf/dyna when telling them about Dyna (e.g., on the LDP NSF report that hopefully will be read and approved today)....

allow Dyna to report its own version

13

I recommend supporting the traditional GNUish `dyna --version`, as well as a `version` command at the repl. Should print git version id and the date of that version (possibly also...

ignore comments at REPL

6

Cut-and-paste from .dyna files into the repl currently fails because the repl doesn't quite know about comments. A trailing comment gives an error that the line doesn't end in a...

kill "is"? or turn it around?

1

In writing the problem set and helping students, I find it really hard to avoid saying things like `word("Papa",0,1)` is `1`, or `word(W,I,J)` is a boolean, or `phrase(X,I,J)` is the...

Eventually we'll want to worry about reclaiming (unmemoized) terms from the intern table. Discussion of Dyna 1 is here: http://www.dyna.org/wiki/index.php?title=Garbage_collection

special color for user input in REPL

5

Could user input be shown at the REPL in a special color? Or perhaps in bold? It's nice to distinguish input from output when scrolling. And it would also be...

argument of with_key doesn't parse correctly

5

Syntactic bug in implementation of #29. This works: ``` pathto(start) min= 0 with_key [start]. pathto(V) min= pathto(U) + edge(U,V) with_key [V | bestpath(U)]. bestpath(U) = $key(pathto(U)). ``` But this doesn't:...

check that first argument of comma is a boolean

2

Ultimately by type checking, of course, but for now you could even do it by adding a conjunct of the form is_bool(X).