Re: fmatch

2010-05-22 Thread stefan
On Saturday 22 May 2010 11:03:12 pm Ludovic Courtès wrote: > Hi! > > stefan writes: > > Shall we say that we use the slightly modified version of (ice-9 match) > > that ypu dug up for now! > > Hmm, yes? Please send an actual patch against Guile master, so we have > something concrete do discuss

Re: Background info abot the unfyication tool

2010-05-22 Thread stefan
Hi, Folks, you asked about using prompts to use delimited continuation aka prompts for the unification stuff. Cool tech. Anyhow. The main use for this thing in a unifying context is to be able to cut a whole tree from further out in the limbs of the tree. The first step taken was to reuse the

Re: [Guile-commits] GNU Guile branch, master, updated. release_1-9-10-135-g7119448

2010-05-22 Thread Julian Graham
Hi Ludo, > This is a non-free document (ACM...) so I think we should not refer to > it.  Perhaps instead this could read along the lines of: > >  ... a technique called @dfn{implicit phasing} (first described by >  Abdulaziz Ghuloum and R. Kent Dybvig) ... > > Thoughts? Eep! My mistake. I'd fou

Re: Background info abot the unfyication tool

2010-05-22 Thread stefan
--- Begin Message --- Hi, Want to share some more info about what the *** I am trying to do. (Part I) On the unification, unification match and backtracking. first off, unification. Let capitals, X,Y,Z be varible and x,y,z etc symbols. Let [X Y Z | W] denotes lists all in the tradition of

Re: Lua

2010-05-22 Thread Ludovic Courtès
Hello, Good to hear, this all sounds nice to me. Happy summer hacking! Ludo’.

Re: fmatch

2010-05-22 Thread Ludovic Courtès
Hi! stefan writes: > Shall we say that we use the slightly modified version of (ice-9 match) that > ypu dug up for now! Hmm, yes? Please send an actual patch against Guile master, so we have something concrete do discuss. :-) Can you make sure to isolate Guile-specific changes, ideally in a

Re: [Guile-commits] GNU Guile branch, master, updated. release_1-9-10-135-g7119448

2010-05-22 Thread Ludovic Courtès
Hi Julian, Thanks for the nice R6RS doc! Looks to me like it’s both a good tutorial and a convenient reference. Some nitpicking: "Julian Graham" writes: > +have the option to create modules using the portable ``library'' form Should be @code{library}. > +libraries created in this format by

Lua

2010-05-22 Thread No Itisnt
Hello, I'm going to be implementing Lua 5.1 for Guile as a Google Summer of Code under the GNU Project this year. My project is defined as "the Lua 5.1 programming language and standard library excluding the string, coroutine, and debug modules" I left a little bit of wiggle room in the standard li

Re: Merging R6RS libraries?

2010-05-22 Thread Ludovic Courtès
Hello! Julian Graham writes: > Thanks to Andy's heroic work on the expander over the past week or so, > I've just been able to merge `wip-r6rs-libraries' into `master' and > push it! Cool, congratulations to both of you! > As you'll notice from running `make check', there are still a few > iss

Re: Portability fixes for win32 cross compiling

2010-05-22 Thread Ludovic Courtès
Hey! Andy Wingo writes: > In the future it will make it easier for me to apply these if they > follow our changelogging standards :) See any of the commits in Guile > for examples of the format. Or rather see info "(standards) Change Logs". :-) Ludo’.