Summary

Add drop-prefix to import specifiers

Metadata

Description

I'm proposing to add "drop-prefix" to the list of import specifiers. It has the same syntax as "prefix", but the opposite semantics. Rather than adding the prefix to all imported identifiers, it removes the prefix from any imported identifiers that already have it. This allows you to strip prefixes you don't care about, or change them in two steps by wrapping "prefix" around "drop-prefix".

Chibi Scheme already has this import specifier, and I have written an R7RS-large proposal to provide it.

Changes and comments

[2014-07-02 08:47:51 UTC] sjamaan changed milestone from someday to 4.10.0

[2014-07-02 08:47:51 UTC] sjamaan wrote:

Might be nice to get into 4.10.0

[2015-08-27 08:52:07 UTC] sjamaan changed milestone from 4.10.0 to 5.0

[2015-08-27 08:52:07 UTC] sjamaan wrote:

Who am I kidding? We'd be lucky if we get this done by 5.0.

[2016-08-25 21:18:50 UTC] sjamaan set difficulty to medium

[2016-08-25 21:18:50 UTC] sjamaan wrote:

This needs to deal with inconsistencies caused (for example, when the prefix doesn't exist, or the prefix is the entire identifier, and I'm not sure if it can happen, but what to do when identifiers clash after doing this).

[2016-11-07 20:03:41 UTC] sjamaan changed milestone from 5.0 to 5.1

[2016-11-07 20:03:41 UTC] sjamaan wrote:

Can be done without breaking backwards compat, and we have enough on our plates right now; moving to 5.1

[2019-04-07 13:47:30 UTC] sjamaan wrote:

This seems unnecessary

[2019-04-07 13:47:30 UTC] sjamaan changed status from new to closed

[2019-04-07 13:47:30 UTC] sjamaan set resolution to wontfix