Insert LET layer into TAGBODY to prevent to capture loop variables directly #1

ichimal · 2012-09-07T19:50:57Z

On current impl has capturing-loop-variable problem as below.

(mapcar #'funcall
  (local-function fun ((x 3) acc)
    (when (plusp x)
      (no-return (fun
                           (1- x)
                           (cons (lambda () x) ; <- this is problem
                                      acc ))))
    acc )))

; => (0 0 0) ; sholud be (1 2 3)

Fix it.

The text was updated successfully, but these errors were encountered:

Fix handling declarations with arguments of local function. And now, there is an new problem around IGNORE/IGNORABLE declaration. For this commit version of local-function, (local-function fun ((v1 ...) (v2 ...) ... (vk ...) vn) (declare (type fixnum v1 v2 ... vk) (ignore vn)) ... ) above code will be expanded to below; (labels ((fun (#1=#:G1 #2=#:G2 ... #k=#:Gk #n=#:Gn) (declare (type fixnum #1# #2# ... #k#) (ignore #n#) ) (block fun (tagbody #s=#:start-tag (let ((v1 #1#) (v2 #2#) ... (vk #k#) (vn #n#) ) (declare (type fixnum v1 v2 ... vk) (ignore vn)) ... ))))) (fun ...) ) initial value of a following LET variable vn. This is problem. close #2

ghost assigned ichimal Sep 7, 2012

ichimal closed this as completed in f795b0e Sep 8, 2012

ichimal mentioned this issue Sep 9, 2012

Enbug around issue #1: cannot declare type of arguments (and so on) #2

Closed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Insert LET layer into TAGBODY to prevent to capture loop variables directly #1

Insert LET layer into TAGBODY to prevent to capture loop variables directly #1

ichimal commented Sep 7, 2012

Insert LET layer into TAGBODY to prevent to capture loop variables directly #1

Insert LET layer into TAGBODY to prevent to capture loop variables directly #1

Comments

ichimal commented Sep 7, 2012