From 0a968a947bef835882967012a18f9e27cf949c60 Mon Sep 17 00:00:00 2001 From: "Benjamin J. Culkin" Date: Sat, 3 Oct 2020 09:15:43 -0300 Subject: update --- dotest.sh | 2 +- todos.txt | 6 ++++++ 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/dotest.sh b/dotest.sh index c438dc7..df56c20 100755 --- a/dotest.sh +++ b/dotest.sh @@ -2,5 +2,5 @@ mvn clean compile exec:java > outp.txt 2> error.txt; -tail -n +32 outp.txt | view -c "normal! zR" -c "tabe error.txt" -c "normal! gt" -; +tail -n +28 outp.txt | view -c "normal! zR" -c "tabe error.txt" -c "normal! gt" -; # tail -n +32 outp.txt | view -c "normal! zR" -; diff --git a/todos.txt b/todos.txt index 0399ef6..b233b36 100755 --- a/todos.txt +++ b/todos.txt @@ -60,3 +60,9 @@ DONE(6/3/18) 10/11/17 Ben Culkin :Determinism This will probably entail the definition of some kind of error code type that can be conveniently returned and used. + +@TODO 7/8/2020 Ben Culkin :RecurLimit + Add some easy way to say that we only want to recur into a given rule once + in this context (could some sort of use of exhaustive rule vars. do this? + maybe. it's been a while since last I looked at the details of how this + project worked; and I doubt I left enough comments/other documentation) -- cgit v1.2.3