[plt-scheme] Names in signatures

From: Jens Axel Søgaard (jensaxel at soegaard.net)
Date: Wed Jun 4 13:29:04 EDT 2003

Jens Axel Søgaard wrote:
> Thanks, that works. It just feels akward.
> Is there a technical reason not to the union of the sets of imported
> names from the opened signatures (such as the signatures need to be a
> DAG).

I have some trouble scaling Robby's solution. It works fine
in the small, but it gets annoying when the number of
signatures grows. For one it is difficult to see what
is going on, if you don't have all the signatures in
one file (I had placed them together with their

I have attached two files. The first signatures.scm
is how I wished I could write, and the other how
Robby's solution look like - that is if I got it
right. That is there is still
a clash in deque^ since +list^ and +queue^ shares
the name remove-first.

Oh - it appears as though define-signature throws
line and column numbers away, the syntax checker
doesn't show where the error is.

One more thing. It would be convenient to
allow omission in the open clause the same
way you can in struct clauses. E.g.

  (open double-ended-sequence^ (- remove-last))

Hm. I forgot to add random access lists as well.

Jens Axel Søgaard
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signatures.scm
Type: application/octet-stream
Size: 1565 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20030604/9b284701/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signatures2.scm
Type: application/octet-stream
Size: 2049 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20030604/9b284701/attachment-0001.obj>

Posted on the users mailing list.