Re: Some guile-unify activities

2011-05-06 Thread Noah Lavine
Cool! On Fri, May 6, 2011 at 5:18 PM, Stefan Israelsson Tampe wrote: > Hi, > > Just wanted to chime in and tell you a little about what I'm doing with the > guile-unify package. > > First off, this is a tool to do backtracking effectively e.g. tree searches > and make heavy use of > dynamic varia

Some guile-unify activities

2011-05-06 Thread Stefan Israelsson Tampe
Hi, Just wanted to chime in and tell you a little about what I'm doing with the guile-unify package. First off, this is a tool to do backtracking effectively e.g. tree searches and make heavy use of dynamic variables. There is three activities ongoing. 1. type-checking examples 2. first order

Re: pending branch: lexical-literals

2011-05-06 Thread Andy Wingo
On Fri 06 May 2011 14:17, l...@gnu.org (Ludovic Courtès) writes: > Sorry for the late reply. No prob; thanks for thinking through it! > So, with this change, no top-level binding of ‘else’ is /required/, but > /when/ there is one, it prevails over the literal, correct? Sorta? This language is

Re: Reducing iconv-induced memory usage

2011-05-06 Thread Ludovic Courtès
Hello, l...@gnu.org (Ludovic Courtès) writes: > Here’s an updated patch that strictly checks for ill-formed UTF-8 > sequences, as Mark pointed out. It passes all the tests I recently > added to ports.test. I committed it, though Mark rightfully noted on IRC a non-conformance issue. I’ve added

Re: early termination for `map'

2011-05-06 Thread Ludovic Courtès
Hi Andy, Andy Wingo writes: > Hi, > > On Thu 05 May 2011 22:21, l...@gnu.org (Ludovic Courtès) writes: > >> Yes, and I think we can keep rewriting SRFI-1 in Scheme, even in 2.0. >> >>> So I implemented map in Scheme >> >> Ooh, interesting. :-) > > I pushed to stable-2.0. Let me know if you wan

scm_internal_stack_catch

2011-05-06 Thread dsmich
Howdy Guilers, I've been slowly (very slowly!) debitrotting scwm. The C code is pretty much there, as is most of the Scheme code, except for gtk+ interfaces. There is currently a deprecation warning for scm_internal_stack_catch. The warning says to talk to guile-devel. So I'm talking. ;^)

Re: pending branch: lexical-literals

2011-05-06 Thread Ludovic Courtès
Hi Andy, Sorry for the late reply. Andy Wingo writes: > I have a branch that fixes literal matching to actually compare toplevel > bindings, as the RNRS suggest, rather than simply assuming that a > literal that is not lexically bound can be compared symbolically. > > (Recall that literals are