diff options
author | Jed Barber <jjbarber@y7mail.com> | 2020-12-17 14:47:27 +1100 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2020-12-17 14:47:27 +1100 |
commit | 7b4adc611d65915eaf8c62b47975b48327a9f83f (patch) | |
tree | 56140b570bb53fbbd436d3bdb6add8d3c5b9a6d3 /curtail.txt | |
parent | 46fed171c49eee1ffe192e04ba34ec120bc486b0 (diff) |
Very very rough notes on curtailment issues
Diffstat (limited to 'curtail.txt')
-rw-r--r-- | curtail.txt | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/curtail.txt b/curtail.txt new file mode 100644 index 0000000..ff418ec --- /dev/null +++ b/curtail.txt @@ -0,0 +1,23 @@ + + +Scratch space for notes about curtailment + + + +all results must track curtails + - done + +when merging two results that have curtails for the same combinator, use the smaller curtail + - done + +when updating a result, replace the curtails with the leftrec level for the current context + - done + +ignore a previous result when the current leftrec level is less than the previous result curtail level for even one of the curtails + - done + +the function to check if reusable needs to take into account a +1 for the combinator being currently memoized + - done + + + |