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 for

Re: Patches for wip-rtl

2013-04-23 Thread Andy Wingo
Heya, On Tue 23 Apr 2013 04:38, Noah Lavine noah.b.lav...@gmail.com writes: I assume you're talking about the box-ref and box-set! stuff with checking for non-variables, right? I agree in general, but those instructions could plausibly be emitted for any code that uses module introspection

Re: Patches for wip-rtl

2013-04-22 Thread Andy Wingo
Hi Noah, On Sun 21 Apr 2013 17:50, Noah Lavine noah.b.lav...@gmail.com writes: +((assemble-program + '((begin-program foo) +(assert-nargs-ee/locals 0 1) +(bind-rest 0) +;; nonintuitive, but the output of bind-rest has to count as an +;; argument for

Re: Patches for wip-rtl

2013-04-22 Thread Andy Wingo
Hi :) Thanks for working on the RTL VM! First of all, sorry about that linker error. I'm trying to make RTL programs more debuggable by hacking on the linker, so that it emits proper debugging information. I should have caught that typo though! I think however that the strategy of making the

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
Hello, Please don't worry about the last part of that message. I realized I can test the nargs value by (ab)using the assert-nargs-ee instruction. On a related note, there's a certain piece of code in vm.c that is not robust in the face of a corrupt nargs. Specifically, if you call

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