Re: Feature request: Expose `ellipsis?' from psyntax.ss

2018-11-15 Thread Mark H Weaver
Hi Marc, Marc Nieper-Wißkirchen writes: > Am Mi., 14. Nov. 2018 um 20:11 Uhr schrieb Mark H Weaver : > > > The `ellipsis?' procedure in psyntax.ss does exactly this, but it > > isn't available to user code. Re-implementing it is not possible > > without accessing internal details like the spe

Re: Feature request: Expose `ellipsis?' from psyntax.ss

2018-11-15 Thread Marc Nieper-Wißkirchen
Hi Mark, > > > So what we actually need is a procedure of > > two arguments: `(ellipsis? e ctx)' returns `#t' if the identifier `e' > > is the current ellipsis in the lexical environment of the identifier > > `ctx'. > > Hmm. I don't actually see a need for the second argument, do you? I > can't

Re: Feature request: Expose `ellipsis?' from psyntax.ss

2018-11-15 Thread Mark H Weaver
Hi Marc, Marc Nieper-Wißkirchen writes: > > So what we actually need is a procedure of > > two arguments: `(ellipsis? e ctx)' returns `#t' if the identifier `e' > > is the current ellipsis in the lexical environment of the identifier > > `ctx'. > > Hmm. I don't actually see a need for the

Aliasing an identifier

2018-11-15 Thread Marc Nieper-Wißkirchen
I would like to alias an identifier in Guile. By this, I mean the following: Given a bound identifier `x', I want to lexically introduce another identifier `y' with the same binding as `x' so that `x' and `y' become `free-identifier=?'. The following is one use case: I have written a macro `custom

Re: Feature request: Expose `ellipsis?' from psyntax.ss

2018-11-15 Thread Marc Nieper-Wißkirchen
Hi Mark, > Let's assume we are writing a macro that reimplements syntax (or some > variation thereof) and which has to check whether identifiers are > ellipses. For example, the following could be given: > > (with-ellipsis e >   (my-syntax a e) > > Now, this could

Re: Feature request: Expose `ellipsis?' from psyntax.ss

2018-11-15 Thread Mark H Weaver
Hi Marc, Marc Nieper-Wißkirchen writes: > > Let's assume we are writing a macro that reimplements syntax (or some > > variation thereof) and which has to check whether identifiers are > > ellipses. For example, the following could be given: > > > > (with-ellipsis e > > (my-syntax a e) >