id summary reporter owner description type status priority milestone component version resolution keywords cc difficulty 1630 Optimizer sometimes incorrectly drops procedure arguments sjamaan "Found by megane while looking into a patch of mine to improve variable replacements: {{{ (define (foo bindings) (define (append-map proc lst1) (if lst1 (proc 1) (proc 1 2))) (append-map (lambda (b a) (begin)) bindings)) }}} Compile this with -O3 and it will error out with this message: {{{Error: Arguments to inlined call of `a150' do not match parameter-list (b a)}}} After fixing this, we can remove the {{{(not captured)}}} test in the {{{'replaceable}}} code." defect closed major 5.2 compiler 5.1.0 fixed hard