Re: pending branch: lexical-literals

2011-05-06 Thread Ludovic Courtès
Hi Andy, Sorry for the late reply. Andy Wingo wi...@pobox.com 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

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 a

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

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

Re: Some guile-unify activities

2011-05-06 Thread Noah Lavine
Cool! On Fri, May 6, 2011 at 5:18 PM, Stefan Israelsson Tampe stefan.ita...@gmail.com 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