Re: Emacs Lisp, macros

2009-07-24 Thread Daniel Kraft
Andy Wingo wrote: 1) As you suggested, try doing some parts of this with new VM operations. Like all of these in one op, or maybe just a "reference and error on void" as one op, and/or "lookup the variable in some module, and create it if not there" as another. I think we need some planning to

Re: Elisp lexical-let

2009-07-24 Thread Daniel Kraft
Hi Andy, thanks for the clarifications! It's actually fairly simple, imo. Alpha-equivalence says that (lexical-let ((x a)) x) is the same as (lexical-let ((y a)) y). (Note that this lexical-let corresponds to Scheme's let.) So your program is the same as: (lexical-let ((y 2)) y ; -> 2 (fo

Re: Elisp lexical-let

2009-07-24 Thread Marijn Schouten (hkBst)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Daniel Kraft wrote: > Hi, > > thanks for your comments; I'm still a bit confused, though :$ > > Marijn Schouten (hkBst) wrote: >>> What's about this: >>> >>> (defun test () a) >>> (let ((a 1)) >>> (print a) ; 1 >>> (print (test)) ; 1 >>> (lexic

Re: Elisp lexical-let

2009-07-24 Thread Andy Wingo
Hi Daniel, On Fri 24 Jul 2009 09:08, Daniel Kraft writes: >> It's actually fairly simple, imo. Alpha-equivalence says that >> (lexical-let ((x a)) x) is the same as (lexical-let ((y a)) y). (Note >> that this lexical-let corresponds to Scheme's let.) So your program is >> the same as: >> >>> (le

Re: review/merge request: wip-array-refactor

2009-07-24 Thread Neil Jerram
l...@gnu.org (Ludovic Courtès) writes: > Waouh, it's a lot of work, and reviewing it takes some time, too. > Honestly, I'd rather spend the small amount of time I spend on Guile > these days in other areas with higher priorities. Hehe; yes, it certainly is a `mixed blessing' to have so many contr