Re: r6rs libraries, round two

2009-06-29 Thread Julian Graham
Hi Andy, > Your solution of doing whole-program analysis is very much in the spirit > of R6RS, but it is not in the spirit of Lisp, in my opinion at least. Well, to be fair, it's not whole-program analysis -- as Neil pointed out, we only need to analyze the library and program "headers." But, su

Re: r6rs libraries, round two

2009-06-29 Thread Ludovic Courtès
Hello! Julian Graham writes: > It's a fine way of handling version-less dependencies, but I don't see > how it solves the determinism issue. Let's say my program (or code > stream or script or whatever you want to call it) uses libraries from > two different authors. Author A trusts his depend

Re: Reporting unused local variables

2009-06-29 Thread Neil Jerram
l...@gnu.org (Ludovic Courtès) writes: > Is this the right place and the right way to do such things? Comments? Looks great to me - but I'm still a bit of a newbie at this compiler malarkey. Neil

Re: NEWS entries -- user-visible?

2009-06-29 Thread Neil Jerram
l...@gnu.org (Ludovic Courtès) writes: > Hi! > > Neil Jerram writes: > >> "In addition to its manual, the package should have a file named >> @file{NEWS} which contains a list of user-visible changes worth >> mentioning. ..." >> >> So I'd say that use of Gnulib (in general) should not be a NEWS

Re: NEWS entries -- user-visible?

2009-06-29 Thread Ludovic Courtès
Hello, Neil Jerram writes: > l...@gnu.org (Ludovic Courtès) writes: >> (I think we don't disagree on what `NEWS' should contain, but on whether >> Gnulib qualifies as "user-visible".) > > I would certainly agree that individual portability fixes should be in > NEWS. Is that what you have in mi

truth of %nil

2009-06-29 Thread Andy Wingo
Hi all, Daniel came up with an interesting test case: scheme@(guile-user)> (if %nil 1 2) 1 We could fix this transparently by changing scm_is_false in boolean.h from: #define scm_is_false(x) scm_is_eq ((x), SCM_BOOL_F) to #define scm_is_false(x) (scm_is_eq ((x), SCM_BOOL_F) ||

Re: truth of %nil

2009-06-29 Thread Neil Jerram
Andy Wingo writes: > Hi all, > > Daniel came up with an interesting test case: > > scheme@(guile-user)> (if %nil 1 2) > 1 > > We could fix this transparently by changing scm_is_false in boolean.h > from: > > #define scm_is_false(x) scm_is_eq ((x), SCM_BOOL_F) > > to > > #define sc

Bytevector VM ops

2009-06-29 Thread Ludovic Courtès
Hello, I'm finally looking into these new VM ops... "Andy Wingo" writes: > +#define BV_FIXABLE_INT_REF(stem, fn_stem, type, size) \ > +{ \ > + long i;

Re: truth of %nil

2009-06-29 Thread Andy Wingo
On Mon 29 Jun 2009 23:44, Neil Jerram writes: > Andy Wingo writes: > >> scheme@(guile-user)> (if %nil 1 2) >> 1 >> >> #define scm_is_false(x) (scm_is_eq ((x), SCM_BOOL_F) || SCM_NILP (x)) > Seems wrong to me. In Scheme #f should be the only false value. > What's the argument for %n