Racket v5.1.1 中的范围界定错误？

Question

有人请告诉我这是 Racket (v5.1.1) 中的一个错误，

它似乎是一个范围问题。

（参见下面的代码和输出）

example-1 的返回表明 x 不是 按应有的方式增加 在示例 2 和示例 3 中。

函数 example-2 只是 example-1 的副本 从 doit 中删除反向指令。

函数 example-3 （如您所见）是一个副本 也一样，但有一个附加参数，它本身 不会改变任何东西，但是当我测试它的值时 cond 语句显示 x 正在递增。

另外，如果我没有从 example-1 返回任何内容 而是打印它现在返回的内容，它将 x 显示为 正在递增。

(define (example-1 lst)
  (letrec([x       0]
          [doit    (lambda ()
                     (reverse 
                      (foldl  
                       (lambda (v store)
                         (set! x (add1 x))
                         (cons v store))
                       '()  
                       lst)))])

    (let*([results   (doit)])
      (list x results)
      )))

(define (example-2 lst)
  (letrec([x       0]
          [doit    (lambda ()
                     (foldl  
                      (lambda (v store)
                        (set! x (add1 x))
                        (cons v store))
                      '()  
                      lst))])

    (let*([results   (doit)])
      (list x results))))

(define (example-3 lst id)
  (letrec([x       0]
          [doit    (lambda ()
                     (reverse 
                      (foldl  
                       (lambda (v store)
                         (set! x (add1 x))
                         (cons v store))
                       '()  
                       lst)))])

    (let*([results   (doit)])
      (cond   [(= 1 id)  'junk])
      (list x results)
      )))

(printf "example-1 : ~a~n"  (example-1 '(a b c)))
(printf "example-2 : ~a~n"  (example-2 '(a b c)))
(printf "example-3 : ~a~n"  (example-3 '(a b c) 1))

输出：

example-1 : (0 (a b c))
example-2 : (3 (c b a))
example-3 : (3 (a b c))

Answer 1

这是一个错误 - 我用更简单的版本提交了你的代码。 （尽管它与 jit 无关。）

编辑：该错误已已修复< /a> 现在。