[racket-dev] check syntax now more likely to work on std libs

2010-10-19 Thread Robby Findler
I've just pushed a change that makes check syntax more likely to run on files in the plt tree. Specifically, the namespace that check syntax creates no longer shares the GUI libraries which means it pulls in a far smaller set of libraries overall. (Of course, run still pulls those in, so running

[racket-dev] internal definitions stepper

2010-10-19 Thread Robby Findler
How recently did the change come in that allows internal definitions all over the place? And how broken did this make the stepper? (Ie is it feasible to wait for the next release? and should we?) Robby On Tue, Oct 19, 2010 at 5:03 AM, sper...@racket-lang.org wrote: sperber has updated

Re: [racket-dev] expected timing difference between fft-complex-forward and fft-complex-radix2-forward?

2010-10-19 Thread Doug Williams
On my laptop: #lang racket (require fft.rkt) (define v (build-vector 16384 (lambda (i) (random (define v1 (vector-copy v)) (collect-garbage) (collect-garbage) (collect-garbage) (time (fft-complex-radix2-forward v1)) (define v2 (vector-copy v)) (collect-garbage) (collect-garbage)

Re: [racket-dev] internal definitions stepper

2010-10-19 Thread Michael Sperber
Robby Findler ro...@eecs.northwestern.edu writes: How recently did the change come in that allows internal definitions all over the place? And how broken did this make the stepper? Pretty broken: There are now (let () ...)s all over the place. (I've sent separate e-mail to John and Matthew.)

Re: [racket-dev] expected timing difference between fft-complex-forward and fft-complex-radix2-forward?

2010-10-19 Thread John Clements
On Oct 19, 2010, at 5:17 AM, Doug Williams wrote: On my laptop: #lang racket (require fft.rkt) (define v (build-vector 16384 (lambda (i) (random (define v1 (vector-copy v)) (collect-garbage) (collect-garbage) (collect-garbage) (time (fft-complex-radix2-forward v1))

Re: [racket-dev] internal definitions stepper

2010-10-19 Thread John Clements
On Oct 19, 2010, at 5:33 AM, Michael Sperber wrote: Robby Findler ro...@eecs.northwestern.edu writes: How recently did the change come in that allows internal definitions all over the place? And how broken did this make the stepper? Pretty broken: There are now (let () ...)s all over

[racket-dev] --enable-macprefix gone?

2010-10-19 Thread David Van Horn
Has the --enable-macprefix option been removed from the configure script? When I configure, I get: configure: WARNING: unrecognized options: --enable-macprefix If so, the src/README file should be updated to reflect the change. David _ For

Re: [racket-dev] internal definitions stepper

2010-10-19 Thread John Clements
On Oct 19, 2010, at 8:56 AM, John Clements wrote: On Oct 19, 2010, at 5:33 AM, Michael Sperber wrote: Robby Findler ro...@eecs.northwestern.edu writes: How recently did the change come in that allows internal definitions all over the place? And how broken did this make the stepper?

[racket-dev] shared and names

2010-10-19 Thread Shriram Krishnamurthi
Is there any way for shared to check for whether a name was originally assigned to an LHS and, if so, to re-use it? If I define (define cities (shared ([PVD (make-city ... (list BOS ORD))] [BOS ...] [ORD ...]) PVD)) and it prints as (shared ((-0- (make-city Providence (list -3- -7-)))

Re: [racket-dev] shared and names

2010-10-19 Thread Robby Findler
I think that we'd have to add names to structs to do that. Seems expensive. But maybe there is a better way? Robby On Tue, Oct 19, 2010 at 2:38 PM, Shriram Krishnamurthi s...@cs.brown.edu wrote: Is there any way for shared to check for whether a name was originally assigned to an LHS and, if

[racket-dev] fuzz testing the bytecode reader

2010-10-19 Thread Sam Tobin-Hochstadt
Earlier today, I wrote a simple fuzz tester for bytecode reading and evaluation. The code is attached. It takes an existing zo file, reads it in as bytes, randomly flips some small portion of the bits (0.1%), and then `read's and `eval's the results. This extremely quickly finds segfaults in

Re: [racket-dev] fuzz testing the bytecode reader

2010-10-19 Thread Carl Eastlund
Caveat Emptor: be wary of running code designed to produce random, unsafe results if the computer you are running it on has any data you really care about. Chances of catastrophic failure *should* be low, but they may not be, and sometimes lightning does strike anyway. Carl Eastlund On Tue, Oct

Re: [racket-dev] internal definitions stepper

2010-10-19 Thread John Clements
On Oct 19, 2010, at 10:02 AM, John Clements wrote: 2) The interactive tests fail like this: given: #(struct:error-result namespace-variable-value: test~object is not defined) I haven't worked on this one yet... but it looks like this is also something that was added this month.

[racket-dev] Grr... why can't I pull?

2010-10-19 Thread John Clements
Okay, this just sounds stupid: my 'git fetch' is failing on the PLT tree. I can ssh to the pltgit machine just fine: john-clementss-macbook-pro:~/git-clements clements$ ssh git PTY allocation request failed on channel 0 hello clements, the gitolite version here is v1.4-14-g36317c4 the gitolite

Re: [racket-dev] fuzz testing the bytecode reader

2010-10-19 Thread Jay McCarthy
I hope it doesn't delete DrDr's hard drive. Jay On Tue, Oct 19, 2010 at 1:51 PM, Carl Eastlund c...@ccs.neu.edu wrote: Caveat Emptor: be wary of running code designed to produce random, unsafe results if the computer you are running it on has any data you really care about.  Chances of

Re: [racket-dev] Grr... why can't I pull?

2010-10-19 Thread Sam Tobin-Hochstadt
On Tue, Oct 19, 2010 at 2:28 PM, John Clements cleme...@brinckerhoff.org wrote: Am I doing something stupid, here? I'm having the same problem, and I'm at the same conference as John, so I suspect that's the issue. I can pull fine from my machine at Northeastern. -- sam th sa...@ccs.neu.edu

Re: [racket-dev] internal definitions stepper

2010-10-19 Thread John Clements
Okay, here's what seems to be broken: 1) cond, as Mike observed. This is related to the different expansion of cond. 2) make-foo, where foo is a user-defined structure. There's a mysterious extra false that's showing up. 3) reduction of (cons 1 (cons 2 empty)) in beginner only. 4) local

Re: [racket-dev] Grr... why can't I pull?

2010-10-19 Thread Eli Barzilay
Four hours ago, John Clements wrote: On Oct 19, 2010, at 2:34 PM, Sam Tobin-Hochstadt wrote: On Tue, Oct 19, 2010 at 2:28 PM, John Clements cleme...@brinckerhoff.org wrote: Am I doing something stupid, here? I'm having the same problem, and I'm at the same conference as John, so

Re: [racket-dev] Grr... why can't I pull?

2010-10-19 Thread Eli Barzilay
Four hours ago, John Clements wrote: Okay, this just sounds stupid: my 'git fetch' is failing on the PLT tree. I can ssh to the pltgit machine just fine: john-clementss-macbook-pro:~/git-clements clements$ ssh git PTY allocation request failed on channel 0 hello clements, the gitolite

Re: [racket-dev] --enable-macprefix gone?

2010-10-19 Thread Eli Barzilay
9 hours ago, David Van Horn wrote: Has the --enable-macprefix option been removed from the configure script? When I configure, I get: configure: WARNING: unrecognized options: --enable-macprefix If so, the src/README file should be updated to reflect the change. You should have this

Re: [racket-dev] --enable-macprefix gone?

2010-10-19 Thread David Van Horn
On 10/19/10 10:03 PM, Eli Barzilay wrote: 9 hours ago, David Van Horn wrote: Has the --enable-macprefix option been removed from the configure script? When I configure, I get: configure: WARNING: unrecognized options: --enable-macprefix If so, the src/README file should be updated to

Re: [racket-dev] --enable-macprefix gone?

2010-10-19 Thread Eli Barzilay
Four minutes ago, David Van Horn wrote: On 10/19/10 10:03 PM, Eli Barzilay wrote: 9 hours ago, David Van Horn wrote: Has the --enable-macprefix option been removed from the configure script? When I configure, I get: configure: WARNING: unrecognized options: --enable-macprefix

Re: [racket-dev] --enable-macprefix gone?

2010-10-19 Thread Eli Barzilay
About a minute ago, David Van Horn wrote: On 10/19/10 10:03 PM, Eli Barzilay wrote: 9 hours ago, David Van Horn wrote: Has the --enable-macprefix option been removed from the configure script? When I configure, I get: configure: WARNING: unrecognized options: --enable-macprefix