fixing a bug with boxenv
This commit is contained in:
parent
49ff8c0aa1
commit
f26b23d821
|
@ -89,7 +89,7 @@
|
||||||
[(InstallValue? exp)
|
[(InstallValue? exp)
|
||||||
(loop (InstallValue-body exp) cenv)]
|
(loop (InstallValue-body exp) cenv)]
|
||||||
[(BoxEnv? exp)
|
[(BoxEnv? exp)
|
||||||
'()]
|
(loop (BoxEnv-body exp) cenv)]
|
||||||
[(LetRec? exp)
|
[(LetRec? exp)
|
||||||
(let ([new-cenv (append (map (lambda: ([p : Lam])
|
(let ([new-cenv (append (map (lambda: ([p : Lam])
|
||||||
(extract-static-knowledge
|
(extract-static-knowledge
|
||||||
|
|
|
@ -790,6 +790,14 @@
|
||||||
#:control-limit 3)
|
#:control-limit 3)
|
||||||
|
|
||||||
|
|
||||||
|
(test '(begin (define counter
|
||||||
|
(let ([x 0])
|
||||||
|
(lambda ()
|
||||||
|
(set! x (add1 x))
|
||||||
|
x)))
|
||||||
|
(list (counter) (counter) (counter)))
|
||||||
|
'(1 2 3))
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user