[plt-scheme] Importing a signature in unit as import-id

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sun May 14 11:19:11 EDT 2006

On May 14, 2006, at 8:13 AM, Evangelos Tsagkas wrote:

> (define result@
>  (unit  (import a-signature^
>                 a-module@)
>         (export res@)
>         (define res@
>           (compound-unit/sig (import)
>                              (link (MOD : (open a-signature^) 
> (a-module@))
>                                    (GENERIC : generic^ (generic@ MOD)))
>                              (export (open GENERIC))))))

Do you really want to export a unit from a unit? Where are a-signature^ 
defined? a-module@

> (define-values/invoke-unit (res@) result@ m wbf^ wbf@)

This contains another undefined name: m.

If you just want to link wbf@ and generic@ and then run, that's easy. 
You're just one layer of stuff off.

-- Matthias

Posted on the users mailing list.