[plt-scheme] Unit won't Import
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 .