abstracting-definitional-interpreters icon indicating copy to clipboard operation
abstracting-definitional-interpreters copied to clipboard

Program crashes eval-pdcfa-gc

Open polux opened this issue 7 years ago • 0 comments

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.

polux avatar Jun 27 '18 12:06 polux