[plt-scheme] Names in signatures

From: Jens Axel Søgaard (jensaxel at soegaard.net)
Date: Tue Jun 3 11:30:04 EDT 2003

Is it possible to do something like the following:

  (define-signature list^
    (empty cons car cdr))

  (define-signature catenable-list^
    ((open list^)
     append))

  (define-signature double-ended-list^
    ((open list^)
      snoc))

  (define-signature catenable-double-ended-list^
    ((open double-ended-list)
     (open catenable-list)))

The last signature is giving me problems. The syntax checker
says that some names are defined multple times, and that's
true. But in this case it on purpose.

NB: I am sitting on a computer without Scheme, so the
above is not syntax-checked.

-- 
Jens Axel Søgaard




Posted on the users mailing list.