[plt-scheme] Unit won't Import

From: Synx (plt at synx.us.to)
Date: Thu Aug 6 15:42:41 EDT 2009



Anthony Cowley wrote:

> I take it you meant, "If I uncomment the commented lines..."?

fffff

> The
> purpose of Units in the architecture you've developed is that
> test-unit.ss does not mention thing-unit.ss. test@ will happily work
> for any Unit that exports the thing^ signature.

Stevie Strickland wrote:
> (define-compound-unit/infer cmpd@
>   (import)
>   (export test^)
>   (link thing@ test@))


Oh... right! So without linking the units together I can't assume that
whatever implements the thing^ signature is actually in "thing-unit.ss"
or not. Only by making a new unit that requires both "thing-unit.ss" and
"test-unit.ss" and specifies the two of them in a single compound unit
that imports nothing, then I can be sure that test@ is using thing@,
instead of what I had done which just said test@ is using thing^, but
not necessarily thing at .


Posted on the users mailing list.