#1832: Exported syntaxes are not fully hygienic

[Chicken Trac]

#1832: Exported syntaxes are not fully hygienic
--------------------------------+------------------------------------
            Reporter:  joe      |       Type:  defect
              Status:  new      |   Priority:  major
           Milestone:  someday  |  Component:  compiler
             Version:  5.3.0    |   Keywords:  syntax hygiene modules
Estimated difficulty:  hard     |
--------------------------------+------------------------------------
 Modules exporting syntaxes generated by syntaxes are not fully hygienic as
 the serialization into module-name.import.scm uses strip-syntax on
 module's sexports.

 == Minimal (Working) Example

 Attached as follows:

 mwe-ok.scm - single file where the macros show expected behavior

 mwe-ko-common.scm - module with the macro generating macros
 mwe-ko-one.scm - first macro generated by the macro from common module
 mwe-ko-two.scm - second macro generated by the macro from module "one"
 mw-ko-run.scm - should behave like mwe-ok.scm, shows binding collisions

 == How to run

 Reference (working) module:

 {{{#!sh
 csi -q -b mwe.ok.scm
 }}}

 Multiple modules with problems:

 {{{#!sh
 csc -P -J mwe-ko-common.scm
 csc -P -J mwe-ko-one.scm
 csc -P -J mwe-ko-two.scm
 csi -q -b mwe-ko-run.scm
 }}}

-- 
Ticket URL: <https://bugs.call-cc.org/ticket/1832>
CHICKEN Scheme <https://www.call-cc.org/>
CHICKEN Scheme is a compiler for the Scheme programming language.