Re: Improve `seed->random-state' in stable-2.0?

2012-01-24 Thread Andy Wingo
Hi Mike, On Tue 24 Jan 2012 07:08, Mike Gran writes: > My beef is with potentially removing the ability to use an integer seed in > seed->random-state.  It is useful and common.  Many other languages > and schemes do it the same way.  Its strengths and limitations are > indicated in the manual.

Re: syntax-local-binding

2012-01-24 Thread Peter TB Brett
Andy Wingo writes: > On Mon 23 Jan 2012 22:03, Mark H Weaver writes: >> Your priorities are reversed from what they ought to be. >> >> What you _should_ be worried about is making commitments in our API that >> we must continue to support forever. This is a _real_ problem, since it >> constrain

Re: syntax-local-binding

2012-01-24 Thread David Kastrup
Peter TB Brett writes: > It seems pretty clear to me that the only (debatable) downside to > using Mark's implementation is that some definitions end up in the > "wrong" module, while your implementation has several potentially > *major* problems (including the necessity of providing universally

Re: syntax-local-binding

2012-01-24 Thread Andy Wingo
On Tue 24 Jan 2012 11:30, Peter TB Brett writes: > It seems pretty clear to me that the only (debatable) downside to using > Mark's implementation is that some definitions end up in the "wrong" > module, while your implementation has several potentially *major* > problems (including the necessity

Re: syntax-local-binding

2012-01-24 Thread Andy Wingo
Hi Mark, On Tue 24 Jan 2012 03:11, Mark H Weaver writes: > you seem unabashedly content to lock us into using psyntax forever, This statement is an exaggeration. While I am content with psyntax now, all change is possible, with time. While it's important to think of the future (and the past),

Re: syntax-local-binding

2012-01-24 Thread Mark H Weaver
Andy Wingo writes: > On Tue 24 Jan 2012 11:30, Peter TB Brett writes: > >> It seems pretty clear to me that the only (debatable) downside to using >> Mark's implementation is that some definitions end up in the "wrong" >> module, while your implementation has several potentially *major* >> probl

Unsafe psyntax label generation

2012-01-24 Thread Mark H Weaver
Hi Andy, I'm worried about this change you recently committed: > diff --git a/module/ice-9/psyntax.scm b/module/ice-9/psyntax.scm > index 1bf3c32..fd33e98 100644 > --- a/module/ice-9/psyntax.scm > +++ b/module/ice-9/psyntax.scm > @@ -636,7 +636,12 @@ > ;; labels must be comparable with "eq?"

Re: syntax-local-binding

2012-01-24 Thread Noah Lavine
Hello, >> If we can already foresee the need to deprecate an interface, wouldn't >> it be better not to add it in the first place? > > I don't see the need to deprecate them now, not more than any other > identifier that we export. I think this may be the key to this argument. There are two separ

mark uniqueness (Was: Re: syntax-local-binding)

2012-01-24 Thread Andy Wingo
On Tue 24 Jan 2012 14:25, Mark H Weaver writes: > I don't see why we need universally-unique gensyms > I've already explained why they are not needed > for macros compiled in another session. Ah, I forgot to reply to that. I found it: On Mon 16 Jan 2012 14:28, Mark H Weaver writes: > The rea

Re: syntax-local-binding

2012-01-24 Thread Andy Wingo
Hello Mark :) Thanks again for your deep thoughts. This conversation is a bit stressful for the both of us, but we wouldn't be having it if we didn't both care about Guile. In the spirit of diffusing tension here, feel free to imagine all of my words as coming from Mr. Collins for the duration o

Re: Unsafe psyntax label generation

2012-01-24 Thread Andy Wingo
On Tue 24 Jan 2012 15:01, Mark H Weaver writes: > `local-eval' combines syntax objects from two different sessions into a > single syntax object (in the wrapper procedure), and thus there may be > label name collisions. Now, if this combined syntax object is > serialized as a compiled procedure,

Re: guile-library - make bug report

2012-01-24 Thread Andy Wingo
Hi David, On Fri 20 Jan 2012 19:17, David Pirotte writes: > guile 2.0.3.150-88c0 > guile-lib release-0.2.1-2-ge9fe22b > > ... > make[1]: Entering directory `/usr/local/src/guile-lib/git-clone/src' > ../dev-environ /usr/local/bin/guile-tools compile -o "text/parse-lalr.go" > "

Re: mark uniqueness

2012-01-24 Thread Mark H Weaver
Andy Wingo writes: > (define-syntax-rule (define-const x val) > (begin > (define t val) > (define-syntax x (identifier-syntax t > > Here, `t' will have a fresh mark. > > Now, if in one compilation unit, I do: > > (define-const x 10) > > And in another, I do: > > (let ((t

Re: Unsafe psyntax label generation

2012-01-24 Thread Mark H Weaver
Andy Wingo writes: > On Tue 24 Jan 2012 15:01, Mark H Weaver writes: > >> `local-eval' combines syntax objects from two different sessions into a >> single syntax object (in the wrapper procedure), and thus there may be >> label name collisions. Now, if this combined syntax object is >> seriali

Re: syntax-local-binding

2012-01-24 Thread Mark H Weaver
Andy Wingo writes: > In the spirit of diffusing tension here, feel free to imagine all of my > words as coming from Mr. Collins for the duration of this thread ;-) Hehe :) > On Tue 24 Jan 2012 14:25, Mark H Weaver writes: > >> Andy Wingo writes: >> >>> None of the interfaces that I proposed le

Re: syntax-local-binding

2012-01-24 Thread Stefan Israelsson Tampe
Hi, 1. module level macro bindings are reachable already with the api. so beeing able to reach locally defined one as well can be seen as a way to make that feature complete. 2. (define-syntax name val) (let-syntax ((name val)) ...) etc should be aboute creating bindings and hence the binding val