Email list hosting service & mailing list manager


Re: wrapping procedures Matthew Flatt 03 Dec 2005 04:58 UTC

At Fri,  2 Dec 2005 14:43:25 -0500 (EST), Aubrey Jaffer wrote:
> Does SRFI-83 allow some way for a module to import, wrap, then export
> an identifier?

Yes - renaming (either on import, export, or both) supports this kind
of wrapping. The only question is whether the exported name can be
imported elsewhere without further renaming.

> Does SRFI-83 allow redefinition and export of R5RS procedures?

Yes, as above. However, no SRFI-83 library would be able to import the
names without prefixing them or renaming, since every SRFI-83 library
imports "scheme://r6rs".

If we manage to at least agree on libraries that are all in the
"scheme://r6rs" (e.g., this SRFI), then we may eventually be able to
agree on ways to portably define new languages --- where a new language
could provide alternate bindings for names exported by "scheme://r6rs".
This SRFI, meanwhile, doesn't support it.

Matthew