[plt-scheme] signed unit syntax

On Oct 27, 2004, at 4:16 PM, Stephen Tetley wrote:

> (define output-sqrt-sum-squares
>    (lambda (x y)
>      (begin
>        (invoke-unit/sig
>         (compound-unit/sig
>           (import)
>           (link
>            (COMP : c^ (sqrt-sum-squares@))
>            (OUT : o^ (simple-output@)))
>           (export (open COMP) (open OUT))))
>        (output (computation x y)))))

That won't work. You need to define these names like this:


(define output-sqrt-sum-squares.v1
   (lambda (x y)
     (define-values/invoke-unit/sig
      ((open c^) (open o^))
      (compound-unit/sig
        (import)
        (link
         (COMP : c^ (sqrt-sum-squares@))
         (OUT : o^ (simple-output@)))
        (export (open COMP) (open OUT))))
     (output (computation x y))))

I recommend my first email however. It scales better. -- Matthias