From 7b4adc611d65915eaf8c62b47975b48327a9f83f Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 17 Dec 2020 14:47:27 +1100 Subject: Very very rough notes on curtailment issues --- curtail.txt | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 curtail.txt (limited to 'curtail.txt') 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 + + + -- cgit