> > #,> (define x 1) > #,> (import (srfi 211 syntax-case)) > #,> (free-identifier=? #'x (datum->syntax #'public 'x)) > > This last example shows that the syntactic environment of the > *imported* identifier public is the one of the importing > library/module.
I don't see that. Provided neither x nor public are bound as pattern variables, that last line is *always *true regardless of what has or hasn't been imported or defined.
