Documentation error and Re: [plt-scheme] Linking unit

Thanks works. Thanks!

The documentation is, I think, incorrect. It states, for compound-unit/infer:

(link infer-linkage-decl ...))

...

infer-linkage-decl = ((link-binding ...) unit-id tagged-link-id)
 	 	| unit-id

where tagged-link-id (defined at compound-unit) is:

tagged-link-id = 	(tag id link-id)
 	 	| link-id

I think there should be ellipses after tagged-link-id. So:

infer-linkage-decl = ((link-binding ...) unit-id tagged-link-id ...)
 	 	| unit-id

for both compound-unit and compound-unit/infer

N.

On Fri, Jun 5, 2009 at 2:26 AM, Matthias Felleisen<matthias at ccs.neu.edu> wrote:
> (define link@
>  (compound-unit
>    (import)
>    (export)
>    (link (((A : cluster^)) cluster@)
>          (((C : cluster^)) binary-cluster@ (tag a A) (tag b A))
>          (((B : mt^))      client@ C))))