check for defined exports may be confused by renaming

[felix winkelmann]

If a macro expands into a module-definition, the check for missing export definitions appears not to take renaming into account:

(define-syntax testm
  (syntax-rules ()
    ((_)
     (module foo (bar)
       (import scheme)
       (define bar 1)))))

gives an "unresolved module" error.

Possibly, these tests using assq are incorrect and should lookup the id first (##sys#finalize-module in expand.scm):

			(let ((def (assq id dlist)))
			  (if (and def (symbol? (cdr def))) 
			      (cdr def)
			      (let ((a (assq id (##sys#current-environment))))

[felix winkelmann]

This is a major bug, but can be postponed for a later release.

[(none)]

Milestone 4.4.0 deleted

[felix winkelmann]

Fixed in be4ec378a6f47a94805652b6f126e95967cbb805 (experimental). Module forms are now completely stripped before being processed by the interpreter or compiler.