Extension search path changed in 1.9

2010-11-23 Thread Ludovic Courtès
Hello! ‘sysdep_dynl_init’ has been doing this for some time in 1.9: --8---cut here---start-8--- env = getenv (GUILE_SYSTEM_EXTENSIONS_PATH); [...] if (env) lt_dladdsearchdir (env); else { lt_dladdsearchdir (SCM_LIB_DIR);

Re: [PATCH 3/4] Work towards a more complete implementation of `(rnrs io ports)'

2010-11-23 Thread Ludovic Courtès
Hi Andreas, Looks good, but... Andreas Rottmann a.rottm...@gmx.at writes: (call-with-port): Don't use `dynamic-wind', as it is against its specification in R6RS 8.2.6. [...] (define (call-with-port port proc) Call @var{proc}, passing it @var{port} and closing @var{port} upon exit

Re: [PATCH 3/4] Work towards a more complete implementation of `(rnrs io ports)'

2010-11-23 Thread Andreas Rottmann
l...@gnu.org (Ludovic Courtès) writes: Hi Andreas, Looks good, but... Andreas Rottmann a.rottm...@gmx.at writes: (call-with-port): Don't use `dynamic-wind', as it is against its specification in R6RS 8.2.6. [...] (define (call-with-port port proc) Call @var{proc}, passing it

Re: The progress of hacking guile and prolog

2010-11-23 Thread Noah Lavine
Hello, That might make sense. The documentation certainly looks interesting. What I'm thinking of is like racket contracts, but with the idea of trusted modules, which might involve static checking. For instance, if the contract is that map's second parameter is a list, you'd normally want to