Cannot define local syntax in libraries

[jpellegrini]

Hi @egallesio !

This works:

(define-library (aa bb)
  (import stklos)
  (export yy)
  (begin
    (define xx 10)
    (define (yy) (print xx))))

(import (aa bb)
(yy)
10      ;; <== correct!

because xx is correctly defined as a local symbol in library (aa bb).

But this won't work:

(define-library (a b)
  (import stklos)
  (export y)
  (begin
    (define-syntax x
      (syntax-rules ()
        ((_) -1)))
    (define-syntax y
      (syntax-rules ()
        ((y) (print (x)))))))

(import (a b))
(y)
**** Error:
%execute: symbol 'x' unbound in module 'stklos'

because x seems to not be available when the macro y is used from outside library (a b)...

This forces us to export all macros that a library will use...

[egallesio]

Hi @jpellegrini,

This forces us to export all macros that a library will use...

This is exact for now, and it is on my TODO list (for now, I have no clear idea of how to implement it correctly 😥)
Thanks for adding this issue here.