Re: Welcome Mark as new co-maintainer

2014-05-27 Thread Noah Lavine
I have only been a lurker for a while now, but I've seen how much excellent work Mark has put into Guile. This is a very well-deserved honor. Congratulations! On Tue, May 27, 2014 at 11:38 PM, David Pirotte da...@altosw.be wrote: Le Tue, 27 May 2014 23:34:32 +0200, l...@gnu.org (Ludovic

Re: Memory accounting in libgc

2014-03-18 Thread Noah Lavine
Hello, This reminds me of a related but distinct issue - region-based allocation. Hypothetically, you could use regions to implement a limited form of this accounting, if you could ask the question, what is the size of this memory region? It certainly wouldn't do as much as custodians, but it

Re: CPS language and Tree-IL-CPS-RTL compiler

2013-08-29 Thread Noah Lavine
be many more bugs. I've folded all of his patches into this patchset, so please consider him the joint author of all of this. In any case the bugs have forced him to page much of this code into his head so we are better equipped as a project because of that ;-) Thank you also to Noah Lavine

Re: Errors in libguile 1.8.8 while compiling gnucash on Windows

2013-07-07 Thread Noah Lavine
Hello, I think This list is the right place to send patch files. I don't know if people will look at them too closely, though, because that's an old version of Guile. Can Gnucash use Guile 2? Best, Noah On Sat, Jul 6, 2013 at 9:33 PM, Randy Galbraith randy.galbra...@gmail.comwrote: Hi Guile

Re: order of evaluation

2013-06-17 Thread Noah Lavine
Hello, I always thought that at some point we'd want a form that explicitly didn't fix the order of evaluation. Maybe the for it is now. I imagine something like this: (foo (a (b)) (c (d))) = (unspecified-order ((A (let ((B (b))) (a B)) (C (let ((D (d))) (c D

Testing with Custom Evaluators

2013-06-14 Thread Noah Lavine
Hello, Apologies for not Guiling in a while! I just finished up a patch I was talking about a while ago. It lets you run the test suite with a custom evaluator. This is useful if you're testing new evaluators (or compilers!). Along the way, I also added the ability for the test suite to test

Re: CPS thoughts

2013-05-22 Thread Noah Lavine
An update: I just rebased wip-rtl-cps on top of wip-rtl-may-2013 and pushed. The most interesting thing was how trivial it was: all I had to do was make a one-line change in how I called `begin-program'. Best, Noah On Wed, May 22, 2013 at 12:33 AM, Noah Lavine noah.b.lav...@gmail.comwrote

Re: The Road to 2.2

2013-05-21 Thread Noah Lavine
On Sun, May 19, 2013 at 6:02 PM, Ludovic Courtès l...@gnu.org wrote: Andy Wingo wi...@pobox.com skribis: On Sat 18 May 2013 15:44, Noah Lavine noah.b.lav...@gmail.com writes: I have a very small question, based on something I think you said earlier - since the container will be ELF

Re: CPS thoughts

2013-05-21 Thread Noah Lavine
Hello, On Tue, May 21, 2013 at 3:46 PM, Andy Wingo wi...@pobox.com wrote: You should have two names: the original ones and the gensyms that come from tree-il. Creating new gensyms should happen when copying or fabricating new nodes, as peval does, but in most cases you don't need to do it,

Re: The Road to 2.2

2013-05-18 Thread Noah Lavine
numbers and local variables. But how do we actually produce RTL assembly from Scheme? Well, there we don't have a finished story. Noah Lavine made a branch to compile tree-il, our high-level intermediate language, to a continuation-passing-style (CPS) form. This is a useful transformation

Re: wip-rtl disassembler

2013-05-06 Thread Noah Lavine
On Sun, May 5, 2013 at 4:17 PM, Andy Wingo wi...@pobox.com wrote: At this point the disassembler is working much better, and works at the REPL now via ,x. Also, procedure-name now works. I'm now moving to implement source line information and other metadata via .debug_info / .debug_line /

Re: Patches for wip-rtl

2013-05-04 Thread Noah Lavine
Hello, On Tue, Apr 23, 2013 at 6:13 AM, Andy Wingo wi...@pobox.com wrote: Heya, On Tue 23 Apr 2013 04:38, Noah Lavine noah.b.lav...@gmail.com writes: Ah I see what you mean. There are two uses of variables in the VM: one for calls to variable-ref or variable-set, and the other

Re: wip-rtl disassembler

2013-05-02 Thread Noah Lavine
That's great! Thanks a lot for doing so much RTL stuff. Noah On Thu, May 2, 2013 at 4:11 AM, Andy Wingo wi...@pobox.com wrote: A brief note to say that (system vm disassembler) in wip-rtl now has a functioning disassemble-program that finds function bounds using the ELF symbol table. It's

Re: [Feature Request] Some ideas on 'mmap'

2013-04-30 Thread Noah Lavine
Hello, Apologies if this is well-known and I just forgot it, but can bytevectors be read-only? I think we'd need that to handle read-only mmap'ed memory. (If not, I hope we could allow read-only bytevectors.) Bytevectors include size, so there's no need to put that in a struct, but I'm not sure

Re: The 2.0.9 VM cores in enqueue (threads.c:309)

2013-04-29 Thread Noah Lavine
Hello, On Mon, Apr 29, 2013 at 6:10 AM, Mark H Weaver m...@netris.org wrote: Any ideas? Thanks, Mark It should be possible to use a watchpoint in GDB to figure out what code is corrupting that piece of memory. It probably won't tell us exactly what's going on, but it would be

Re: Patches for wip-rtl

2013-04-22 Thread Noah Lavine
Hello, On Mon, Apr 22, 2013 at 4:27 PM, Andy Wingo wi...@pobox.com wrote: Hi Noah, Do I understand you correctly that you're just making a sequence of non-idiomatic instructions because you know that doing the assert-nargs-ee will check nargs? I would think in a normal case you'd want to

Re: Patches for wip-rtl

2013-04-22 Thread Noah Lavine
Hello, On Mon, Apr 22, 2013 at 4:39 PM, Andy Wingo wi...@pobox.com wrote: Hi :) Thanks for working on the RTL VM! Thanks for doing most of the work! I'm happy to help. :-) First of all, sorry about that linker error. I'm trying to make RTL programs more debuggable by hacking on the

Re: Patches for wip-rtl

2013-04-21 Thread Noah Lavine
that sound reasonable? If not, it should be simple to insert some check there the nargs is big enough not to corrupt anything. Noah On Sat, Apr 20, 2013 at 7:30 PM, Noah Lavine noah.b.lav...@gmail.comwrote: Hello, I've attached three patches for wip-rtl. The first is somewhat different than

Re: Patches for wip-rtl

2013-04-21 Thread Noah Lavine
And here's another patch that fixes an off-by-one error in the bind-rest instruction. This solves the problems I was having in my earlier email about an abort in the VM. Best, Noah On Sun, Apr 21, 2013 at 11:23 AM, Noah Lavine noah.b.lav...@gmail.comwrote: Hello, Please don't worry about

Patches for wip-rtl

2013-04-20 Thread Noah Lavine
Hello, I've attached three patches for wip-rtl. The first is somewhat different than the other two: it fixes an error that occurred when moving the linker to its own file. (system vm rtl) and (system vm linker) both contain a function called link-string-table, and (system vm rtl) was calling the

Re: CPS Update

2013-04-03 Thread Noah Lavine
On Sat, Mar 9, 2013 at 3:31 AM, Andy Wingo wi...@pobox.com wrote: On Fri 08 Mar 2013 23:57, Noah Lavine noah.b.lav...@gmail.com writes: Somewhat shockingly, I think that's almost every language feature. Wow, nice work :-)) Sounds like great stuff. I hope to join you in this work once

Re: redo-safe-variables and redo-safe-parameters

2013-03-31 Thread Noah Lavine
Hi, A few points: 1. I really, really think that it is a bad idea for the type of a variable to change depending on how it is used (i.e. set! vs. set~). That means that you should remove points 12 and 14, and maybe some other points. 2. You shouldn't specify the semantics in terms of code, but

Re: Extremely high overhead of 'par-map'

2013-03-29 Thread Noah Lavine
I agree. Do you have any idea what's causing the overhead? I tried to benchmark it, but got a segmentation fault. I think we have plenty of work to do here. :-) Noah On Fri, Mar 29, 2013 at 2:00 AM, Mark H Weaver m...@netris.org wrote: I wrote: Nala Ginrut nalagin...@gmail.com writes:

Re: Extremely high overhead of 'par-map'

2013-03-29 Thread Noah Lavine
this where the cost of each function is very small. I realize it's not a great solution because you still have to iterate through the list to get to the later elements. A hypothetical vector-par-map would solve that. Noah On Fri, Mar 29, 2013 at 4:24 PM, Noah Lavine noah.b.lav...@gmail.comwrote

Re: redo-safe-variables and redo-safe-parameters

2013-03-27 Thread Noah Lavine
this is a reasonable extension of that idea. Best, Noah On Wed, Mar 27, 2013 at 3:13 AM, Stefan Israelsson Tampe stefan.ita...@gmail.com wrote: On Tuesday, March 26, 2013 06:36:46 PM Noah Lavine wrote: Okay. I don't see a use for number 1. Could you explain why it's important? It seems easier

Re: redo-safe-variables and redo-safe-parameters

2013-03-27 Thread Noah Lavine
Hello, On Wed, Mar 27, 2013 at 9:22 AM, Stefan Israelsson Tampe stefan.ita...@gmail.com wrote: On Wed, Mar 27, 2013 at 1:42 PM, Noah Lavine noah.b.lav...@gmail.com wrote: Hello, Let me see if I understand the point of set! and set~. I think the goal is to have a variable

Re: redo-safe-variables and redo-safe-parameters

2013-03-27 Thread Noah Lavine
On Wed, Mar 27, 2013 at 11:04 AM, Stefan Israelsson Tampe stefan.ita...@gmail.com wrote: Hi Noha, On Wed, Mar 27, 2013 at 3:29 PM, Noah Lavine noah.b.lav...@gmail.com wrote: Hello, On Wed, Mar 27, 2013 at 9:22 AM, Stefan Israelsson Tampe stefan.ita...@gmail.com wrote: I don't

Re: redo-safe-variables and redo-safe-parameters

2013-03-27 Thread Noah Lavine
Hello, On Wed, Mar 27, 2013 at 12:15 PM, Stefan Israelsson Tampe stefan.ita...@gmail.com wrote: Hmm, your really are right in the sense that the common ideom in computer language design is to type a variable at the declaration of the variable. So basically a user would then do something like

Re: redo-safe-variables and redo-safe-parameters

2013-03-27 Thread Noah Lavine
On Wed, Mar 27, 2013 at 5:44 PM, Noah Lavine noah.b.lav...@gmail.comwrote: Since it's definable with such a simple macro, I don't think it's appropriate for a SRFI. Sorry, I just realized that that's not a sensible objection. If it's a better interface than parameters, then it certainly

Re: [PATCH] Add-native-hashtable-helper-functions

2013-03-26 Thread Noah Lavine
I would be afraid that without an entry in the manual, people won't know the functions exist, even if the docstrings are enough to explain what they do. Noah On Tue, Mar 26, 2013 at 6:40 AM, Nala Ginrut nalagin...@gmail.com wrote: Added three helper functions, they're so explicit that don't

Re: redo-safe-variables and redo-safe-parameters

2013-03-26 Thread Noah Lavine
Hello, Two quick thoughts on this: 1. It's confusing to say undo and redo, because those aren't in the Scheme standard, and I don't know of any SRFIs that have them either. Instead, maybe you could say using continuations to implement computations that restart. Or, using continuations to

Re: redo-safe-variables and redo-safe-parameters

2013-03-26 Thread Noah Lavine
of this, but we'll see. Noah On Tue, Mar 26, 2013 at 4:43 PM, Stefan Israelsson Tampe stefan.ita...@gmail.com wrote: Relly kind of you to answer this quickly, good thoughts! On Tuesday, March 26, 2013 02:05:41 PM Noah Lavine wrote: Hello, Two quick thoughts on this: 1. It's confusing to say

Re: redo-safe-variables and redo-safe-parameters

2013-03-26 Thread Noah Lavine
(set! last #t) (apply values ret (lambda y (unless last (fluid-set! (vector-ref guards i) a) ...) On Tue, Mar 26, 2013 at 10:07 PM, Noah Lavine noah.b.lav...@gmail.com wrote: Yes, I think parameters and fluids

Re: redo-safe-variables and redo-safe-parameters

2013-03-26 Thread Noah Lavine
have to use (fluid-ref ...) to get their value. Noah On Tue, Mar 26, 2013 at 6:01 PM, Stefan Israelsson Tampe stefan.ita...@gmail.com wrote: On Tuesday, March 26, 2013 05:38:03 PM Noah Lavine wrote: Okay. Let me see if I understand this correctly: Let's say, hypothetically, that there were

Re: [PATCH] Bindings for ‘sendfile’

2013-03-21 Thread Noah Lavine
Hello, Yes, you're completely right - making it work on all platforms is much better than what I had proposed. I'm glad you're doing this. Thanks, Noah On Thu, Mar 21, 2013 at 5:15 AM, Ludovic Courtès l...@gnu.org wrote: Hi Noah, Noah Lavine noah.b.lav...@gmail.com skribis: I've thought

Re: Special variables to relax boxing

2013-03-21 Thread Noah Lavine
Hi, Stefan and Mark, I think you are talking past each other. Stefan is offering a very concrete definition of what he wants, and Mark is looking for a more abstract version. Here is what I think Stefan wants, in the language of R5RS' storage model: A variable is simply a name for a particular

Re: Numeric improvements in stable-2.0

2013-03-20 Thread Noah Lavine
Wow, that's great. Thank you! Noah On Wed, Mar 20, 2013 at 2:49 PM, Mark H Weaver m...@netris.org wrote: Hello all, I wanted to briefly highlight some of the improvements to numerics that I've recently pushed to stable-2.0. * 'number-string' now reliably outputs enough digits to produce

Re: [PATCH] Bindings for ‘sendfile’

2013-03-20 Thread Noah Lavine
Hi, sendfile looks very useful! I've thought for a while that if I had time (which I know I won't) I would make a module called (linux) with bindings for non-POSIX Linux kernel features. What do you think of this idea? If so, what do you think of putting sendfile there and expanding it with

Re: set! semantics

2013-03-17 Thread Noah Lavine
Hello, I believe that keeping the box identity but not the box value is the correct behavior of continuations under the Scheme standard. I agree it's not intuitive, though. I have been thinking that we could eliminate variable boxes for mutable variables when we can prove that the continuation

Re: CPS Update

2013-03-08 Thread Noah Lavine
to sketch out the whole compiler first to get the organization right. Now I need to go through and fix all of that. But overall, I think the CPS compiler is going well. Best, Noah On Fri, Feb 15, 2013 at 7:53 PM, Noah Lavine noah.b.lav...@gmail.comwrote: Hello, The wip-rtl-cps branch has been

Re: What's the plan of Guile on GSoC 2013?

2013-03-07 Thread Noah Lavine
Hi, On Thu, Mar 7, 2013 at 11:29 AM, Ludovic Courtès l...@gnu.org wrote: So, ideas? :-) How about continuing the Emacs-Guile integration? I would be really excited to finally see that happen. Noah

Re: Thread-unsafe initialization problems in Guile

2013-03-05 Thread Noah Lavine
I've only read the most recent article you posted, but if I understand correctly, there is a third option: (3) somehow find a way to generate a portable memory barrier instruction. Is that currently possible? I'm not sure that it is. Probably option (2) is best if we can do it. Noah On Thu, Feb

Re: Thread-unsafe initialization problems in Guile

2013-03-05 Thread Noah Lavine
Hello, On Tue, Mar 5, 2013 at 10:24 PM, Mark H Weaver m...@netris.org wrote: Hi Noah, Noah Lavine noah.b.lav...@gmail.com writes: I've only read the most recent article you posted, but if I understand correctly, there is a third option: (3) somehow find a way to generate a portable

Re: propose deprecation of generalized-vector-*

2013-03-03 Thread Noah Lavine
Hello again, On Fri, Mar 1, 2013 at 4:01 AM, Daniel Llorens daniel.llor...@bluewin.chwrote: think this comes down to a more fundamental difference - I still don't think that functions should automatically map over arrays, and you do. If they did automatically map, then I would agree with

Re: propose deprecation of generalized-vector-*

2013-02-28 Thread Noah Lavine
Hello, On Thu, Feb 28, 2013 at 2:10 PM, Daniel Llorens daniel.llor...@bluewin.chwrote: On Feb 22, 2013, at 01:22, Noah Lavine wrote: I agree about the speed issue, but I hope it will get better soon. The RTL VM will fix some of it, and native compilation will fix more. That's on Scheme

Re: propose deprecation of generalized-vector-*

2013-02-28 Thread Noah Lavine
, Noah Lavine noah.b.lav...@gmail.comwrote: Hello, On Thu, Feb 28, 2013 at 2:10 PM, Daniel Llorens daniel.llor...@bluewin.ch wrote: On Feb 22, 2013, at 01:22, Noah Lavine wrote: I agree about the speed issue, but I hope it will get better soon. The RTL VM will fix some of it, and native

Re: Programming racket like in guile

2013-02-23 Thread Noah Lavine
That makes sense, but if the promotion ever happens, then there might be a bunch of old code using (compat racket ...) that would need to be converted, and we would have to keep the (compat racket ...) modules around for compatibility with old code. If there's any possibility that we will want to

Re: Programming racket like in guile

2013-02-23 Thread Noah Lavine
Hello, On Fri, Feb 22, 2013 at 9:32 PM, Ian Price ianpric...@googlemail.comwrote: Daniel Hartwig mand...@gmail.com writes: For those parts specific to racket, did you consider the (language racket ..) namespace, where an eventual language definition could be placed also? That sounds

Re: propose deprecation of generalized-vector-*

2013-02-21 Thread Noah Lavine
Hello, On Wed, Feb 20, 2013 at 8:13 PM, Daniel Llorens daniel.llor...@bluewin.chwrote: On Feb 18, 2013, at 16:55, Andy Wingo wrote: It could make sense, yes. What do others think? What happens for array-set!? Care to propose a patch? Patch is attached. It looks a bit unwieldy

CPS Organization

2013-02-20 Thread Noah Lavine
Hello, I just pushed a somewhat big commit to the CPS branch. It didn't have much content, but it moved register allocation to its own file. It also tries to move in the direction of making logically separate operations into their own passes, which Andy wanted. I think it's mostly good, but I

Re: [Guile-commits] GNU Guile branch, wip-rtl-cps, updated. v2.1.0-180-g0d0808a

2013-02-19 Thread Noah Lavine
need boxes. (But it will be able to soon!) Noah On Tue, Feb 19, 2013 at 12:53 AM, Mark H Weaver m...@netris.org wrote: Hi Noah, Noah Lavine noah.b.lav...@gmail.com writes: commit 0d0808ae3f7390ffb250b9deb6706ad4158cce0e Author: Noah Lavine noah.b.lav...@gmail.com Date: Mon Feb 18 14

Re: [Guile-commits] GNU Guile branch, wip-rtl-cps, updated. v2.1.0-180-g0d0808a

2013-02-19 Thread Noah Lavine
Oh, and thanks a lot for reviewing the CPS stuff! I really appreciate it, and I think it will make the end result a lot better than whatever I could do on my own. Noah On Tue, Feb 19, 2013 at 9:28 AM, Noah Lavine noah.b.lav...@gmail.comwrote: Hello, Yes, I completely agree with this. I

Re: CPS Update

2013-02-19 Thread Noah Lavine
Hello, On Sat, Feb 16, 2013 at 4:18 PM, Mark H Weaver m...@netris.org wrote: Hi Noah, On Sat, Feb 16, 2013 at 2:14 PM, Mark H Weaver m...@netris.org wrote: [...] Noah Lavine noah.b.lav...@gmail.com writes: You mean if a function modifies another function that called

Re: [Guile-commits] GNU Guile branch, wip-rtl-cps, updated. v2.1.0-180-g0d0808a

2013-02-19 Thread Noah Lavine
Hello, On Tue, Feb 19, 2013 at 11:03 AM, Mark H Weaver m...@netris.org wrote: Hi Noah, Noah Lavine noah.b.lav...@gmail.com writes: Yes, I completely agree with this. I didn't do that immediately because I'm trying to get the infrastructure for the general case working. I plan

RTL Call Issue

2013-02-18 Thread Noah Lavine
Hello, I've hit an interesting issue in the RTL call instruction. I find that I can't execute a call instruction where the return frame starts at the same place that the procedure to call is at - it must start past there. That doesn't match my expected behavior, but I'm not sure if my

Re: propose deprecation of generalized-vector-*

2013-02-18 Thread Noah Lavine
On Mon, Feb 18, 2013 at 11:25 AM, Mike Gran spk...@yahoo.com wrote: From: Noah Lavine noah.b.lav...@gmail.com I haven't worked with the array functionality, so I might be missing something, but I don't see why this is natural for array-ref. One could imagine a Matlab-like syntax where

Re: CPS Update

2013-02-16 Thread Noah Lavine
features going. After that I would definitely like define* and lambda*. Noah /Stefan On Sat, Feb 16, 2013 at 1:53 AM, Noah Lavine noah.b.lav...@gmail.com wrote: Hello, The wip-rtl-cps branch has been rebased again (on top of wip-rtl). It now includes support for toplevel references

Re: CPS Update

2013-02-16 Thread Noah Lavine
Hello, On Sat, Feb 16, 2013 at 2:14 PM, Mark H Weaver m...@netris.org wrote: Noah Lavine noah.b.lav...@gmail.com writes: Oh, you're right. I was thinking about that because I don't run the Tree-IL optimizers when I test it, so I don't get any Tree-IL primitives. I think you should

CPS Update

2013-02-15 Thread Noah Lavine
Hello, The wip-rtl-cps branch has been rebased again (on top of wip-rtl). It now includes support for toplevel references and sets, thanks mostly to Andy's work on supporting them in RTL. (Although you shouldn't kick that part of it too hard just yet; I think I know where it will break.) Other

Re: About Guile crypto support

2013-02-09 Thread Noah Lavine
Mark, I agree with everything you said about dependencies. I think the real solution is something like what you said - sharing code, but bundling. One way to push that farther would be to distribute tarballs that include the complete source of some libraries, and somehow making a combined build

Re: [ANN] guile-csv 0.0.1 released!

2013-02-08 Thread Noah Lavine
This has been said before, but I think the most important thing is for people who are new to Guile to be able to see a list of mature, well-maintained libraries (whatever that means), and tell the difference between those and poorly-maintained or bitrotted libraries. It would also be nice to have

RTL Cache Cells

2013-02-06 Thread Noah Lavine
Hello, The RTL branch now has infrastructure for toplevel and module refs, which is very exciting. Unfortunately, I can't figure out how to use it. :-( In particular, I've been looking at module/system/vm/rtl.scm, and there are two things I don't understand about cache cells. 1. How do I

Re: About Guile crypto support

2013-02-04 Thread Noah Lavine
Hello, I was just thinking about this, and I was wondering, can you hash an arbitrary Guile object? And if so, what do you hash? (I mean, algorithms like SHA-1 are defined on sequences of bits, as I understand it. So what collection of bits do you hash?) And is the hash recursive? (I.e. is it an

Re: Guile API for foreign languages: proposing SCM scm_list_0(void)

2013-01-31 Thread Noah Lavine
I don't know much about language interfaces, but why not have these be constants exported by libguile.so? Is there any reason for other languages to have to make their own lists? Thanks, Noah On Thu, Jan 31, 2013 at 6:45 AM, Andy Wingo wi...@pobox.com wrote: On Thu 31 Jan 2013 12:27, Andy

Re: [PATCH] Do not scan for coding declarations in open-file

2013-01-31 Thread Noah Lavine
Hello, On Thu, Jan 31, 2013 at 5:00 PM, Ludovic Courtès l...@gnu.org wrote: There are several issues IMO. First, some are subrs, so handling keyword arguments is going to be painful. Second, keyword arguments are inelegant IMO compared to: (set-port-encoding! port (file-encoding port))

Re: CPS and RTL

2013-01-24 Thread Noah Lavine
Hello Andy and Mark, Thanks for the review! There has actually been more progress since I pushed that branch. I hit a point in the CPS-RTL stuff where I had trouble because I didn't know how to do things (like mutable variables) in RTL. So I've actually ported the compiler to GLIL in a branch on

Re: CPS and RTL

2013-01-24 Thread Noah Lavine
Hello, On Thu, Jan 24, 2013 at 10:12 AM, Andy Wingo wi...@pobox.com wrote: Hi! On Thu 24 Jan 2013 14:50, Noah Lavine noah.b.lav...@gmail.com writes: Thanks for the review! There has actually been more progress since I pushed that branch. I hit a point in the CPS-RTL stuff where I had

Re: rebased wip-rtl-cps

2013-01-24 Thread Noah Lavine
Thanks! Best, Noah On Wed, Jan 23, 2013 at 11:28 AM, Andy Wingo wi...@pobox.com wrote: Hi Noah, A brief note to let you know that I rebased wip-rtl-cps, as wip-rtl itself was rebased. Cheers, Andy -- http://wingolog.org/

Re: CPS and RTL

2013-01-24 Thread Noah Lavine
The push is complete. If I'm not mistaken, you should now see a wip-rtl-cps branch with a Tree-IL-CPS compiler. The compiler is used in cps.test. Please let me know if I did anything wrong. Noah On Thu, Jan 24, 2013 at 11:03 AM, Noah Lavine noah.b.lav...@gmail.comwrote: Hello, On Thu, Jan

Re: Loading a module before and after adding a load path

2013-01-18 Thread Noah Lavine
Hello, I see what you are trying to do, and I agree that it should be possible. I have set up the same situation as you: trying to load a module, failing, adding it to my path, trying again, and failing again. Here's what I've figured out: - resolve-module fails on the module, when I think it

Re: Guile Lua

2013-01-12 Thread Noah Lavine
I sent an email about that, but it was only an idea. I thought it would be nice if we could work with the Clisp people. However, I can see some barriers to actually doing that, and I don't intend to work on it any time soon. Noah On Sat, Jan 12, 2013 at 3:43 AM, Nala Ginrut nalagin...@gmail.com

Re: [PATCH] Colorized REPL

2013-01-12 Thread Noah Lavine
Hello, On Fri, Jan 11, 2013 at 6:26 PM, Ludovic Courtès l...@gnu.org wrote: Hello, I know that supporting other peoples' r6rs programs is also a reason, but I think that Guile should be able to use the libraries it itself bundles. I agree in general, yes. But when the run-time

Re: [PATCH] Colorized REPL

2013-01-11 Thread Noah Lavine
Hello, On Fri, Jan 11, 2013 at 9:33 AM, Ludovic Courtès l...@gnu.org wrote: Nala Ginrut nalagin...@gmail.com skribis: record-type in r6rs is more convenient I think. That’s not the question. ;-) It doesn’t justify pulling in all of R6RS. This is just a small part of a much larger

Re: How to debug the scheme/guile interpreter?

2013-01-09 Thread Noah Lavine
There's a script in the 'meta' directory of the Guile sources called 'gdb-uninstalled-guile'. I believe it sets up whatever environment variables need setting and then calls gdb for you. I've used it to debug Guile in the past. Thanks a lot for tracking down this bug Noah Lavine On Wed, Jan 9

Re: A proper tail version of with-fluids

2013-01-03 Thread Noah Lavine
I think with-fluids could at least be semi-tail-recursive. If you imagine a normal non-tail-recursive implementation, you might get to a point where your continuation is going to set a fluid back to a value, and then the *next* continuation is going to set that fluid back to *another* value. Since

Re: Fix reader options for R6RS `get-datum'

2012-12-17 Thread Noah Lavine
Hello, On Mon, Dec 17, 2012 at 2:05 PM, Andreas Rottmann a.rottm...@gmx.at wrote: I think this is my assumption that you seem to disagree on: by using the binding of `read' from `(rnrs io simple)', instead of the one provided by Guile's core, the writer of the code using that binding has

Re: Is there any thing to convert string encording?

2012-11-23 Thread Noah Lavine
In that case I believe you want to put the bits you're interested in in a bytevector, and use utf8-string, utf16-string, or utf32-string. Noah On Fri, Nov 23, 2012 at 2:48 AM, nalaginrut nalagin...@gmail.com wrote: In ruby, we can use force_encoding to convert the encoding of a string:

Re: non-scheme scripts: proposed solutions and their pros/cons

2012-11-20 Thread Noah Lavine
As you say, the only real solution is to do more than one of these things. For instance, I think it's really important to be able to load modules written in other languages. However, this may be language-dependent to a certain extent, because some languages (Python) already have ways to define

Re: Making libunistring optional

2012-11-19 Thread Noah Lavine
Hi Mark, I think you and Ludo may actually be thinking along similar lines. It seems like you're saying that you'd like one tarball that contains only Guile-specific code, and another one with Guile plus some dependencies plus maybe a nice build script. I don't have an opinion on whether to

CPS and RTL

2012-11-17 Thread Noah Lavine
Hello, I've had several conversations on this list about using continuation-passing style in Guile. I recently decided to take the hint and implement it. I've pushed a new branch called wip-rtl-cps that I'd appreciate comments on (but I do not necessarily think that this is the branch that will

Re: Adding to the end of the load path

2012-11-16 Thread Noah Lavine
variables. Of course, I would be very happy to be proven wrong, Noah On Thu, Nov 15, 2012 at 7:10 PM, Noah Lavine noah.b.lav...@gmail.comwrote: Hello, This is coming late in the discussion, but I'd like to suggest a somewhat different approach. I hope this is helpful. It seems to me

Re: Program received signal SIGSEGV, Segmentation fault.

2012-11-16 Thread Noah Lavine
Hello, On Fri, Nov 16, 2012 at 6:32 PM, Bruce Korb bk...@gnu.org wrote: On 11/16/12 13:23, Mark H Weaver wrote: Actually, it was scm_from_utf8_string, since GUILE_VERSION was 25 Okay, that's the problem. You told Guile that the C string was encoded in UTF-8, but actually it was

Re: Adding to the end of the load path

2012-11-15 Thread Noah Lavine
Hello, This is coming late in the discussion, but I'd like to suggest a somewhat different approach. I hope this is helpful. It seems to me that in the end, the module-lookup system may need to be more complex than having regular and suffix lookup paths. For instance, one of the big concerns

Re: thoughts on native code

2012-11-10 Thread Noah Lavine
Hello, I assume compressed native is the idea you wrote about in your last email, where we generate native code which is a sequence of function calls to VM operations. I really like that idea. As you said, it uses the instruction cache better. But it also fixes something I was worried about,

Re: [PATCH]

2012-11-10 Thread Noah Lavine
SRFI-9 seems to be part of R7RS anyway (assuming there are no sudden last-minute changes), so I'd say we'll definitely want to do something like that soon. Noah On Sat, Nov 10, 2012 at 10:30 PM, Ian Price ianpric...@googlemail.comwrote: The patch looks fine to me (it had better be, since it

Re: [PATCH] Add .guile.sls and .sls to the default %load-extensions

2012-11-04 Thread Noah Lavine
If it's semi-standard, we should probably support it too. However, a Google search reveals the following other uses of .sls: - A list of images for a slideshow (sls stands for slideshow script) - The backup files for some program callled Litespeed - ScriptLab Scripts (seems to be an image

Re: Appending Queues

2012-11-02 Thread Noah Lavine
Hello, On Fri, Nov 2, 2012 at 1:20 PM, Ian Price ianpric...@googlemail.com wrote: I'm loath to add anything to (ice-9 q) since I find the names, and the lack of a distinct type, less than satisfactory. Fair enough. I'd be just as happy to implement a new queue container. I think we need to

Appending Queues

2012-10-28 Thread Noah Lavine
Hello, I was just working on a project that used (ice-9 q), and I found that I needed to append two queues. I wrote the following functions to do it. What do you think of including them in (ice-9 q)? It's pretty simple, but it seems like a natural part of the queue interface. I've included

Re: Needed: per-port reader options

2012-10-16 Thread Noah Lavine
Hello, On Tue, Oct 16, 2012 at 5:39 PM, Ludovic Courtès l...@gnu.org wrote: I think ‘current-reader’ should remove the need to have a port-to-reader mapping, no? Thanks for looking into this! Ludo’. I might not understand this correctly, but aren't the reader flags only supposed to affect

More RTL Tests

2012-10-14 Thread Noah Lavine
Hello, I have been working on understanding RTL, and I wrote the following tests. They're mostly to illustrate for myself how calling works in RTL, but they also serve to test it. Any objections if I commit them as part of rtl.test? (with-test-prefix call (assert-equal 42 (let

Re: Two build problems

2012-09-19 Thread Noah Lavine
is the correct solution? Thanks a lot, Noah On Sat, Sep 15, 2012 at 2:40 PM, Noah Lavine noah.b.lav...@gmail.com wrote: Hello, I hit two errors while building recent Guile, one of which I have diagnosed. First problem: At first, I couldn't build lib/striconveh.c. Here's what I think was wrong: Make

Two build problems

2012-09-15 Thread Noah Lavine
Hello, I hit two errors while building recent Guile, one of which I have diagnosed. First problem: At first, I couldn't build lib/striconveh.c. Here's what I think was wrong: Make doesn't know that lib/striconveh.c depends on lib/unitypes.h. This is a problem because lib/unitypes.h is generated

Re: Adding to guile curly-infix (SRFI 105), neoteric- sweet-expressions

2012-08-27 Thread Noah Lavine
Hello, On Mon, Aug 27, 2012 at 12:30 AM, Alan Manuel Gloria almkg...@gmail.com wrote: However, it leads to an edge case in Guile 2.0 where disabling autocompilation leads to the module-loading C code path going through a direct C call to the C implementation of primitive-load, a path that

Re: guildhall packages

2012-08-26 Thread Noah Lavine
Hello, On Sun, Aug 26, 2012 at 5:29 PM, Ludovic Courtès l...@gnu.org wrote: Ian Price ianpric...@googlemail.com skribis: If you think was a useful email, I can post a periodic update on new packages and/or provide an atom feed for them. If not, I'll shut up :) I like the updates, keep up the

Re: Do you recognize these modules?

2012-08-25 Thread Noah Lavine
Any objections if I apply these patches soon? I'd like to get them off of my to do list. Thanks, Noah On Wed, Jul 11, 2012 at 1:59 PM, Noah Lavine noah.b.lav...@gmail.com wrote: And here is a patch to remove all of the @twerp* comments. But did you mean that I should remove them in the same

Re: wip-rtl native closure creation

2012-08-06 Thread Noah Lavine
I haven't looked at the RTL program structure, but adding a new field is basically what I did with the non-RTL program structure when I worked on JIT there. However, in that case we could still keep everything under 4 words. I don't know if that will work here. Noah On Mon, Aug 6, 2012 at 5:39

Re: wip-rtl return location

2012-08-02 Thread Noah Lavine
That sounds interesting, but I have a question - why not make the MVRA return address immediately after the call, instead of immediately before it? In the common case when returning to the regular return address, that would eliminate the extra branch (although it's a very small branch anyway). I

How do I call functions in RTL?

2012-07-15 Thread Noah Lavine
Hello, I'm trying to understand the call instruction in RTL, and having some trouble. I'm trying to write the simplest function I can that calls another function. I decided to do the equivalent of (lambda (x) (x)), so I don't have to worry about top-level variable references. So I tried the

Re: Do you recognize these modules?

2012-07-11 Thread Noah Lavine
, Andy Wingo wi...@pobox.com wrote: On Wed 11 Jul 2012 05:02, Noah Lavine noah.b.lav...@gmail.com writes: I'm sorry to miss 2.0.6 by only a few days, but I have turned this documentation into some patches. Here they are; I think they are ready to apply to stable-2.0. Cool. I applied the first one

Re: Preparing for 2.0.6

2012-06-28 Thread Noah Lavine
I think bug 10623 is fixed in stable-2.0, but I don't know how to close it in the tracker. Thanks, Noah On Thu, Jun 28, 2012 at 4:05 PM, Ludovic Courtès l...@gnu.org wrote: Hello! Still hesitant between writing a native code back-end for IA64 and making Guile multiboot-compliant?  Hesitate

  1   2   3   4   >