Re: Endless loop in guile 1.6.1 if using macros

[Mikael Djurfeldt]

Christian Neukirchen <address@hidden> writes:

> Therefore I think, all macros used by exported guile functions have to
> get exported too.

That is correct.  Finally, that won't be necessary, but currently it
is.  This has to do with the fact that the original implementation of
syntax-case macros which Guile uses is not written for use with a
module system.  We have in mind to fix it, but it is not fixed yet.

> This bug seems to appear in guile 1.6 only, since I talked to the mixp
> developer, he uses guile 1.7 and can't reproduce it.

I recently got the syncase module to expand Guile macros as well.  The
effect is that the (ds ...) form in your example is expanded already
at the definition of f.  So while syncase macros are still not fully
integrated with the module system => you *should* always export
bindings inserted by the macro as well, it happens to work in 1.7 in
this particular case.

> If you have patches, could you please CC: them to me?

The development source tree of guile-1.7 is publicly available via the
Guile homepage.  You can use the cvs diff command to obtain patches.

Best regards,
Mikael D.