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 wrote: > Le Tue, 27 May 2014 23:34:32 +0200, > l...@gnu.org (Ludovic Courtès) a écrit :

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 w

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

2013-08-29 Thread Noah Lavine
as calls really do work like stacks, and a stack VM has > many advantages there. But we think that with better slot allocation we > can probably be faster for calls as well. > > Thank you, thank you, thank you to Mark Weaver for helping out with this > work! Without him there would be ma

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 wrote: > Hi Guile developers, > > I have be

Re: order of evaluation

2013-06-17 Thread Noah Lavine
Hello, On Mon, Jun 17, 2013 at 1:14 PM, Andy Wingo wrote: > > So it's exactly like `let', then? ;) > Oh, yes, you're right. :-) > > > I think we could make CSE work with this, don't you think? > > Oh sure. It works with let already. It's just not as effective. > > To translate this into CP

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 itsel

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 wrote: > Hello, > &g

Re: CPS thoughts

2013-05-21 Thread Noah Lavine
Hello, On Tue, May 21, 2013 at 3:46 PM, Andy Wingo 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, and in any c

Re: The Road to 2.2

2013-05-21 Thread Noah Lavine
On Sun, May 19, 2013 at 6:02 PM, Ludovic Courtès wrote: > Andy Wingo skribis: > > > On Sat 18 May 2013 15:44, Noah Lavine 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-20 Thread Noah Lavine
Hello, Thanks for the review. On Mon, May 20, 2013 at 4:19 PM, Andy Wingo wrote: > Some first thoughts on the CPS language, just after having looked at > (language cps): > > * Overall looking really good. > Thanks! You may choose to retract that after you see the other files, of course. :-)

Re: The Road to 2.2

2013-05-18 Thread Noah Lavine
x27;s ELF tools. > > Finally, using a well-structured format like ELF brings in the > possibility of linking together a number of modules in one file, and > possibly even an entire application. We don't have this working yet, > and it's not in the immediate plans, but it

Re: wip-rtl disassembler

2013-05-06 Thread Noah Lavine
On Sun, May 5, 2013 at 4:17 PM, Andy Wingo 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 / etc sections

Re: Patches for wip-rtl

2013-05-04 Thread Noah Lavine
Hello, On Tue, Apr 23, 2013 at 6:13 AM, Andy Wingo wrote: > Heya, > > On Tue 23 Apr 2013 04:38, Noah Lavine 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 for internal > use.

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 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 not great y

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 w

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 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 interesting

Re: Patches for wip-rtl

2013-04-22 Thread Noah Lavine
Hello, On Mon, Apr 22, 2013 at 4:39 PM, Andy Wingo 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 linker, so th

Re: Patches for wip-rtl

2013-04-22 Thread Noah Lavine
Hello, On Mon, Apr 22, 2013 at 4:27 PM, Andy Wingo 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 do "assert

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 wrote: > Hello, > > Please don't worry about th

Re: Patches for wip-rtl

2013-04-21 Thread Noah Lavine
corrupted. Does 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 wrote: > Hello, > > I've attached three patches for wip-rtl. The first is somewhat differ

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 w

Re: CPS Update

2013-04-03 Thread Noah Lavine
On Sat, Mar 9, 2013 at 3:31 AM, Andy Wingo wrote: > On Fri 08 Mar 2013 23:57, Noah Lavine 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 b

Re: Extremely high overhead of 'par-map'

2013-03-29 Thread Noah Lavine
for cases like 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

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 wrote: > I wrote: > > > Nala Ginrut writes: > >> cut---

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 wrote: > > 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 parame

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

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 > wrote: > > Hello, > > > > > > On Wed, Mar 27, 2013 at 9:22 AM, Stefan Israelsson Tampe > > wr

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 > wrote: > > Hello, > > > > Let me see if I understand the point of set! and set~. I think the goal > is > &g

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

2013-03-27 Thread Noah Lavine
I think 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 expla

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

2013-03-26 Thread Noah Lavine
cs as fluids, except that you don't 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

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

2013-03-26 Thread Noah Lavine
; (set! a (fluid-ref (vector-ref guards i > ...) > (lambda () > (call-with-values (lambda () (begin code ...)) > (lambda ret > (set! last #t) > (apply values ret)))) > (lambda y >

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

2013-03-26 Thread Noah Lavine
, 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 q

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 i

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 wrote: > Added three helper functions, they're so explicit that don't need any > docs in th

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 lo

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 wrote: > Hi Noah, > > Noah Lavine skribis: > > > I

Re: Special variables to relax boxing

2013-03-21 Thread Noah Lavine
Hello, I think I understand what Stefan wants here, and I think it should probably be possible. If I understand correctly, the issue is that when a continuation is captured, it stores the *locations* of all of the variables in-scope at that point. If that continuation is invoked many times, each

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 other

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 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 the > s

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 is

Re: CPS Update

2013-03-08 Thread Noah Lavine
ngs, and I wanted 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 wrote: > Hello, > > The wip-rtl-cps branch h

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 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
Hello, On Tue, Mar 5, 2013 at 10:24 PM, Mark H Weaver wrote: > Hi Noah, > > Noah Lavine 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 portabl

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: propose deprecation of generalized-vector-*

2013-03-03 Thread Noah Lavine
Hello again, On Fri, Mar 1, 2013 at 4:01 AM, Daniel Llorens wrote: > > 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 you about array-ref, > b

Re: propose deprecation of generalized-vector-*

2013-02-28 Thread Noah Lavine
at 9:42 PM, Noah Lavine wrote: > Hello, > > > On Thu, Feb 28, 2013 at 2:10 PM, Daniel Llorens > 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

Re: propose deprecation of generalized-vector-*

2013-02-28 Thread Noah Lavine
Hello, On Thu, Feb 28, 2013 at 2:10 PM, Daniel Llorens 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 compilation will fix more. > > That&#x

Re: Programming racket like in guile

2013-02-23 Thread Noah Lavine
Hello, On Fri, Feb 22, 2013 at 9:32 PM, Ian Price wrote: > Daniel Hartwig 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 somewhat misleading, since Racket i

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 r

Re: [APP][Translate] I've implemented a localization adapter

2013-02-22 Thread Noah Lavine
stly about the internals of Guile. Best, Noah Lavine On Fri, Feb 22, 2013 at 11:49 AM, B.Tag wrote: > *Hi guiler: >I've implemented a localization adapter. > This program can used in games or web app. > > Program code: > > * https://github.com/wackOnlin

Re: propose deprecation of generalized-vector-*

2013-02-21 Thread Noah Lavine
Hello, On Wed, Feb 20, 2013 at 8:13 PM, Daniel Llorens wrote: > > 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 because I am duplicatin

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 wou

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 wrote: > Hi Noah, > > Noah Lavine 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 t

Re: CPS Update

2013-02-19 Thread Noah Lavine
Hello, On Sat, Feb 16, 2013 at 4:18 PM, Mark H Weaver wrote: > Hi Noah, > > > On Sat, Feb 16, 2013 at 2:14 PM, Mark H Weaver wrote: > [...] > > Noah Lavine writes: > > > > You mean if a function modifies another function that called it. > > Ther

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 wrote: > Hello, > > Yes, I completely agree with this. I didn&

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

2013-02-19 Thread Noah Lavine
would actually need boxes. (But it will be able to soon!) Noah On Tue, Feb 19, 2013 at 12:53 AM, Mark H Weaver wrote: > Hi Noah, > > "Noah Lavine" writes: > > commit 0d0808ae3f7390ffb250b9deb6706ad4158cce0e > > Author: Noah Lavine > > Date: Mon Feb 18 1

Re: propose deprecation of generalized-vector-*

2013-02-18 Thread Noah Lavine
On Mon, Feb 18, 2013 at 11:25 AM, Mike Gran wrote: > From: Noah Lavine > > 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 a

Re: propose deprecation of generalized-vector-*

2013-02-18 Thread Noah Lavine
Hello, On Mon, Feb 18, 2013 at 10:55 AM, Andy Wingo wrote: > Hi, > > On Wed 23 Jan 2013 13:20, Daniel Llorens > writes: > > > In [2]: a = np.array([[1, 2, 3], [4, 5, 6], [7, 8, 9]]) > > In [4]: a[1] > > Out[4]: array([4, 5, 6]) > > In [5]: a[1, 1] > > Out[5]: 5 > > > > array-ref can be extended

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 expectatio

Re: CPS Update

2013-02-16 Thread Noah Lavine
Hello, On Sat, Feb 16, 2013 at 2:14 PM, Mark H Weaver wrote: > Noah Lavine 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

Re: CPS Update

2013-02-16 Thread Noah Lavine
k on your branch as well. WDYT? Thanks, but I haven't even gotten far enough to think about this. I'm still working on getting all of the basic features going. After that I would definitely like define* and lambda*. Noah > > /Stefan > > On Sat, Feb 16, 2013 at 1:53 AM, No

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 hig

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 s

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 hav

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 choose

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 e

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 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)) > I do

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 wrote: > On Thu 31 Jan 2013 12:27, Andy Wingo writes: >

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 wrote: > Hello, > > On Thu, Jan

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 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
Hello, On Thu, Jan 24, 2013 at 10:12 AM, Andy Wingo wrote: > Hi! > > On Thu 24 Jan 2013 14:50, Noah Lavine 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: 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: 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 sho

Re: [PATCH] Colorized REPL

2013-01-12 Thread Noah Lavine
Hello, On Fri, Jan 11, 2013 at 6:26 PM, Ludovic Courtès 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 footpri

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 wrote: > On Wed, 20

Re: [PATCH] Colorized REPL

2013-01-11 Thread Noah Lavine
Hello, On Fri, Jan 11, 2013 at 9:33 AM, Ludovic Courtès wrote: > >> Nala Ginrut 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 review, but it should be possi

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 bu

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 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 declared > that he

Re: More RTL Tests

2012-11-28 Thread Noah Lavine
evels in a nice way > > /Stefan > > > > On Sun, Oct 14, 2012 at 10:57 PM, Stefan Israelsson Tampe < > stefan.ita...@gmail.com> wrote: > >> >> >> On Sun, Oct 14, 2012 at 9:59 PM, Noah Lavine wrote: >> >>> Hello, >>> >>

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 wrote: > In ruby, we can use force_encoding to convert the encoding of a string: > "abc\u{}".force_e

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 mod

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 separ

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 be

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 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 encoded

Re: Adding to the end of the load path

2012-11-16 Thread Noah Lavine
On Fri, Nov 16, 2012 at 1:52 PM, Mark H Weaver wrote: > Hi Noah, > Hello, > In general, I think the idea of requiring people to write scheme code to > manipulate %load-path (and other settings) is a fine approach. Maybe > you're right that this is better than adding a bunch of new environment

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 wrote: > 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

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 here

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 wrote: > > The patch looks fine to me (it had better be, since it is already pushed > :P),

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, wh

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 imag

Re: Appending Queues

2012-11-02 Thread Noah Lavine
Hello, On Fri, Nov 2, 2012 at 1:20 PM, Ian Price 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 keep (ice-9 q) around f

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 destruc

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 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 the s

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-27 Thread Noah Lavine
ight now. It should never occur for distro builds of Guile, because they will be packaging all of their libraries together, so they'll only have one version of uniconv.h. Noah On Wed, Sep 26, 2012 at 5:41 PM, Ludovic Courtès wrote: > Hi Noah, > > This vaguely rings a bell... > > Noa

Re: Two build problems

2012-09-19 Thread Noah Lavine
x27;s the issue. What is the correct solution? Thanks a lot, Noah On Sat, Sep 15, 2012 at 2:40 PM, Noah Lavine 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/st

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

  1   2   3   4   5   >