bug#19459: #:export does not honor the merge-generics contract

[Andy Wingo]

Hi,

On Sun 28 Dec 2014 19:20, David Pirotte <address@hidden> writes:

> (define-module (a)
>   #:use-module (oop goops)
>   #:export (<a>
>           !width
>           get-width
>           set-width))

Here you export four bindings: one class and three generics.  Those
three generics have methods on <a>.

> (define-module (b)
>   #:use-module (oop goops)
>   #:use-module (a)

Here you import the previous four bindings.

>   #:export (<b>
>           !width
>           get-width
>           set-width))

However here you declare that you are going to export four new
bindings.  I believe this is the source of your problem.  You are
expecting to extend the three generics and re-export them.  However to
do so you should #:re-export !width, get-width, and set-width.

AFAIU there is no bug here.  David WDYT?

Andy