Re: local-eval on syntax-local-binding, bound-identifiers

2012-01-17 Thread David Kastrup
Andy Wingo wi...@pobox.com writes: What if instead we implemented closure serialization somehow? Then we would handle procedural macros too, and bound-identifiers would still be sufficient. Maybe that idea is a little too crazy. Are we still talking about Scheme? The language with

Re: Eval, tail calls, (current-module), and backward compatibility

2012-01-17 Thread David Kastrup
Mark H Weaver m...@netris.org writes: (current-module) should be relevant only at the beginning of macro-expansion: before any program transformations are performed, (current-module) is baked into every symbol of the top-level form. (psyntax actually does this lazily, but the effect is the

[PATCH] Universally-unique gensyms

2012-01-17 Thread Mark H Weaver
This patch makes our gensyms universally-unique. Comments welcome. Mark From 18616afc6a3d5aca48da2e0819d08d7ff98de214 Mon Sep 17 00:00:00 2001 From: Mark H Weaver m...@netris.org Date: Tue, 17 Jan 2012 08:15:10 -0500 Subject: [PATCH] Universally-unique gensyms * libguile/symbols.c

Re: [PATCH] Universally-unique gensyms

2012-01-17 Thread Andy Wingo
Hi Mark, Excellent! On Tue 17 Jan 2012 14:27, Mark H Weaver m...@netris.org writes: This patch makes our gensyms universally-unique. Comments welcome. I think the lazy initialization needs to happen within the lock. Also it would be nice to factor out the initialization of the random seed

Re: [PATCH] Universally-unique gensyms

2012-01-17 Thread Andy Wingo
On Tue 17 Jan 2012 14:57, Andy Wingo wi...@pobox.com writes: I think the lazy initialization needs to happen within the lock. Also it would be nice to factor out the initialization of the random seed would be a nice helper to have in random.[ch]. Sigh, mind racing ahead of the fingers:

Re: bound identifiers

2012-01-17 Thread Stefan Israelsson Tampe
Yes! see attachement! /Stefan On Tue, Jan 17, 2012 at 12:30 AM, Andy Wingo wi...@pobox.com wrote: On Mon 16 Jan 2012 22:56, Stefan Israelsson Tampe stefan.ita...@gmail.com writes: As you see, it's just wild west to get the racket code working. :) Can you give a stripped-down test case

Re: Eval, tail calls, (current-module), and backward compatibility

2012-01-17 Thread Mark H Weaver
David Kastrup d...@gnu.org writes: Mark H Weaver m...@netris.org writes: (current-module) should be relevant only at the beginning of macro-expansion: before any program transformations are performed, (current-module) is baked into every symbol of the top-level form. (psyntax actually does

Re: guile 2012

2012-01-17 Thread Mike Gran
From: Andy Wingo wi...@pobox.com If I could vote for one thing to focus on in 2012, for the broader Guile community, I'd pick two things ;-) I'd pick Guile in Emacs, first of all.  We have the hack power, the time is right, and we just need to focus on the task.  By the end of the year we

Re: guile 2012

2012-01-17 Thread Aleix Conchillo Flaqué
I feel like I shouldn't get into this discussion for my huge lack of Guile (and Scheme in general) knowledge. But I will do in any case :-). On Tue, Jan 17, 2012 at 2:37 PM, Mike Gran spk...@yahoo.com wrote: heresy [snip] I know that you want to believe that if your tech is good enough, people