abstracting-definitional-interpreters
abstracting-definitional-interpreters copied to clipboard
Program crashes eval-pdcfa-gc
The following program seems to crash eval-pdcfa-gc (but not eval-pdcfa-widen-gc).
(define (fiblike N)
(parse
`((rec f (λ (x)
(if0 x
1
(+ (f (- x 1)) (f (- x 1))))))
,N)))
Evaluating this program with input 5 yields:
hash-ref: no value found for key
key: 'f
Interestingly the real fib function (where the second call is (- x 2)) does not crash eval-pdcfa-gc. So this must be due to some interaction between the cache and the GC.