syntax-case + modules

2009-03-31 Thread Andy Wingo
Hi, In the syncase branch you will find a start at macro-expansion that is hygienic with respect to modules. Finally. There are some bugs in compilation right now, which I will fix soon, and explain later when I am less sleepy, but if you run with ,o interp #t things should be peachy. Yay! Andy

addition of xref to guile

2009-03-31 Thread Andy Wingo
Hi, Guile now has an xref facility, (system xref). That is, it exports `procedure-callers' and `procedure-callees'. Procedure-callers does some caching, though it is imperfect. Still: take that, other Schemes! Andy -- http://wingolog.org/

Dealing with cross-compilation

2009-03-31 Thread Ludovic Courtès
Hi, Greg Troxel writes: > So, building guile probably needs either to build guile as a host tool > > if host != target, preferably in an objdir, and then that can be used. > > take a --with-guile that points to a working host guile, and people > doing cross builds will have to build guile

Re: stack calibration

2009-03-31 Thread Ludovic Courtès
Hello, Andy Wingo writes: > The recent commit to compile with the stack calibration file, > 7ca96180f00800414a9cf855e5ca4dceb9baca07, breaks compilation because the > compile scripts have hash-bang lines like this: > > #!/bin/sh > # -*- scheme -*- > exec ${GUILE-guile} -e '(@ (scripts compile) c

Re: request review: branch "wingo"

2009-03-31 Thread Ludovic Courtès
Andy Wingo writes: > So, I really intended to wait for review, but it's irritating having > `master' broken, so I went ahead and merged this in. You waited for 31 hours and I still don't know how it was "broken", which I find irritating as well. > I think the stack calibration stuff is correct,

Re: stack calibration

2009-03-31 Thread Greg Troxel
Neil Jerram writes: > The primary purpose of stack-limit-calibration.scm is to allow "make > check" to succeed on those platforms, That's fine. > and it now makes sense to > generalize that to any other guile-using operations that we run during > the build - such as compiling. Not quite; the

Re: syntax-case + modules

2009-03-31 Thread Ludovic Courtès
Good news, thanks! Ludo'.

Re: addition of xref to guile

2009-03-31 Thread Ludovic Courtès
That's cool. The next step will be to document it. :-) Ludo'.

Re: Dealing with cross-compilation

2009-03-31 Thread Andy Wingo
Hi, On Tue 31 Mar 2009 09:10, l...@gnu.org (Ludovic Courtès) writes: > Greg Troxel writes: > >> So, building guile probably needs either to build guile as a host tool >> >> if host != target, preferably in an objdir, and then that can be used. >> >> take a --with-guile that points to a worki

Re: request review: branch "wingo"

2009-03-31 Thread Andy Wingo
Hi, On Tue 31 Mar 2009 09:38, l...@gnu.org (Ludovic Courtès) writes: > Andy Wingo writes: > >> So, I really intended to wait for review, but it's irritating having >> `master' broken, so I went ahead and merged this in. > > You waited for 31 hours and I still don't know how it was "broken", > wh

GSoC: Emacs Lisp support for GNU Guile

2009-03-31 Thread Daniel Kraft
Hi all, as already discussed briefly with the Guile guys behind the new VM thing, I got the idea to implement Emacs Lisp as supported language for the Guile VM system. Below is a proposal for a GSoC project I submitted to GNU as mentoring organization; Karl Berry replied that it sounds inte

Re: GSoC: Emacs Lisp support for GNU Guile

2009-03-31 Thread Clinton Ebadi
Daniel Kraft writes: > Hi all, > > as already discussed briefly with the Guile guys behind the new VM > thing, I got the idea to implement Emacs Lisp as supported language > for the Guile VM system. > > Below is a proposal for a GSoC project I submitted to GNU as mentoring > organization; Karl B

Re: request review: branch "wingo"

2009-03-31 Thread Ludovic Courtès
Hello, Andy Wingo writes: > .scm.go: > $(MKDIR_P) `dirname $...@` > $(top_builddir)/pre-inst-guile \ > -l $(top_builddir)/libguile/stack-limit-calibration.scm \ > $(top_srcdir)/scripts/compile -o "$@" "$<" > > This will run t

Re: GSoC: Emacs Lisp support for GNU Guile

2009-03-31 Thread Neil Jerram
Daniel Kraft writes: > Hi all, > > as already discussed briefly with the Guile guys behind the new VM > thing, I got the idea to implement Emacs Lisp as supported language > for the Guile VM system. > > Below is a proposal for a GSoC project I submitted to GNU as mentoring > organization; Karl B

Re: GSoC: Emacs Lisp support for GNU Guile

2009-03-31 Thread Neil Jerram
This email is going to be about Guile details that the Emacs crowd probably won't be interested in, so I've removed emacs-devel. Clinton Ebadi writes: > There is already a working elisp->scheme translator for the interpeter > in lang/elisp. I've poked about in it and it would be fairly > straig

Re: stack calibration

2009-03-31 Thread Neil Jerram
Andy Wingo writes: > Hi Neil, Hi Andy, > On Mon 30 Mar 2009 13:43, Neil Jerram writes: > >> FWIW, I think this kind of incantation is really horrible. Ditto for >> usage of "guile-tools ...". What kind of a scripting language is it >> that needs to be bootstrapped by a different language? > >

Re: request review: branch "wingo"

2009-03-31 Thread Andy Wingo
Howdy howdy, On Tue 31 Mar 2009 14:31, l...@gnu.org (Ludovic Courtès) writes: >>> Besides, there's the thread about cross-compilation where we mention >>> building the compiler with an already installed Guile that may have an >>> inappropriate stack limit. >> >> I don't think that is relevant. Si

Re: GSoC: Emacs Lisp support for GNU Guile

2009-03-31 Thread Andy Wingo
Hi Clinton, On Tue 31 Mar 2009 13:28, Clinton Ebadi writes: > This is an excellent plan! Agreed! > There is already a working elisp->scheme translator for the interpeter > in lang/elisp. Yes, that would be a great starting point. > replacing the @fop and @bind operators in the interpeter wit

Re: GSoC: Emacs Lisp support for GNU Guile

2009-03-31 Thread Andy Wingo
Hi Daniel, On Tue 31 Mar 2009 12:44, Daniel Kraft writes: > as already discussed briefly with the Guile guys behind the new VM > thing, I got the idea to implement Emacs Lisp as supported language for > the Guile VM system. This sounds great! I'd love to assist. As the fellow who's hacked most

Re: GSoC: Emacs Lisp support for GNU Guile

2009-03-31 Thread Andy Wingo
Hi Neil :) Though I was not the person to whom the question was addressed, a comment :) On Tue 31 Mar 2009 15:23, Neil Jerram writes: > If you followed this kind of approach, note that it would also need > work - in addition to the Elisp/VM translation - to implement whatever > Emacs primitives

Re: request review: branch "wingo"

2009-03-31 Thread Neil Jerram
Andy Wingo writes: > Hi Neil, > > Thanks for the review. Pleasure. By the way, on the general point of pushing possibly-contentious stuff to git.sv.gnu.org master... - I certainly don't think it's the end of the world to do this. We have complete history and can back things out if we need t

Re: GSoC: Emacs Lisp support for GNU Guile

2009-03-31 Thread Neil Jerram
Andy Wingo writes: > Hi Daniel, > > On Tue 31 Mar 2009 12:44, Daniel Kraft writes: > >> as already discussed briefly with the Guile guys behind the new VM >> thing, I got the idea to implement Emacs Lisp as supported language for >> the Guile VM system. > > This sounds great! I'd love to assist.

Re: GSoC: Emacs Lisp support for GNU Guile

2009-03-31 Thread Mike Gran
On Tue, 2009-03-31 at 16:15 -0700, Andy Wingo wrote: Andy et al- > I keep thinking that it should be possible to write some kind of C shim > so that Guile could implement the Emacs C "API". That way we keep the > existing C code working, we keep the fine-tuned implementations and > semantics, and