bug#10519: guile and (mini-)gmp

Mark H Weaver skribis: > FYI, I've pushed patches to Guile's git repository (stable-2.0 branch) > which eliminate the known obstacles to mini-gmp integration. Great, thanks! And sorry for not following more closely... Ludo’.

bug#13995: Problem with macros whose expansions define and use auxiliary macros

Consider the following module: --8<---cut here---start->8--- (define-module (foo) #:export (foo)) (define-syntax-rule (foo bar) (begin (define-syntax-rule (blah x) x) (define (bar val) (blah val --8<---cut here---end-