reexport doesn't reexport implicit syntax exports

[Moritz Heidkamp]

Given a module that exports some syntax which expands to an identifier which isn't explicilty exported, that syntax will not work if it is reexported by another module. Example:

;;; foo.scm

(module foo

(some-syntax)

(import scheme)

(define-syntax some-implicitly-used-syntax
  (syntax-rules ()
    ((_ x) x)))


(define-syntax some-syntax
  (syntax-rules ()
    ((_ x)
     (some-implicitly-used-syntax 'x))))

)

;;; bar.scm

(module bar

()

(reexport foo)

)

To trigger the bug:

$ csc -s -J foo.scm 
$ csc -s -J bar.scm 
$ csi -R foo -p '(some-syntax bar)'
bar
$ csi -R bar -p '(some-syntax bar)'

Error: unbound variable: some-implicitly-used-syntax

This was tested with version 4.8.0.5 only so far.

[Moritz Heidkamp]

Fixed the example program.

[Christian Kellermann]

This is also broken for Version 4.8.3 (rev ba01911)

[Moritz Heidkamp]

Given that automatic export of implicitly referenced identifiers is an undocumented feature of the module system as of now, this ticket should be considered a feature request instead.

[sjamaan]

This seems to work now. Probably due to the fix for #1149.