[plt-scheme] multiple units with identical signatures

From: Sam TH (samth at ccs.neu.edu)
Date: Mon Nov 2 23:14:20 EST 2009

On Mon, Nov 2, 2009 at 11:07 PM, Synx <plt at synx.us.to> wrote:
> Anthony Cowley wrote:
>> (define-compound-unit together@
>>   (import)
>>   (export T)
>>   (link (((P : page^)) page@)
>>         (((I : info^)) info@)
>>         (((T : top^)) top@ P I)))
> Woah! You know how to do that associative symbol unit linking thingy?
> That's not even correct in the docs! Okay I think I can work with that,
> thanks.

Or, get rid of the compound unit entirely, and just link like this:

(define (main)
 (define-values/invoke-unit/infer (export top^) (link page@ info@ top@))
 (cons (run "~page")
       (run "~info")))

sam th
samth at ccs.neu.edu

Posted on the users mailing list.