bug in auto-integrator

Taylor R Campbell <[email protected]>
Newsgroups gmane.lisp.scheme.scheme48
Message-ID <[email protected]>
The auto-integrator is not correctly hygienic.  In the following
configuration, the procedure BAZ from the BAZ structure should yield
the list (FOO BAR), not the list (FOO FOO) or the list (BAR BAR).

(define-structure foo (export foo)
  (open scheme)
  (optimize auto-integrate)
  (begin
    (define *foo* 'FOO)
    (define (foo) *foo*)))

(define-structure bar (export bar)
  (open scheme)
  (optimize auto-integrate)
  (begin
    (define *foo* 'BAR)
    (define (bar) *foo*)))

(define-structure baz (export baz)
  (open scheme foo bar)
  (optimize auto-integrate)
  (begin
    (define (baz)
      (list (foo) (bar)))))
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.