Thanks! I've pushed a repair to JIT compilation of `unsafe-set-box*!' (and the test case that was supposed to check it but missed).
At Fri, 3 Sep 2010 23:34:03 +0200, Sam Tobin-Hochstadt wrote: > I'm pretty sure that this is a bug in `unsafe-set-box*!'. The > following version of "que.ss" doesn't have the problem, but adding the > * results in the segfault. > > On Fri, Sep 3, 2010 at 6:12 PM, Hari Prashanth <krh...@ccs.neu.edu> wrote: > > Yes the problem goes away once I turn off the optimizer... I have attached > > the code. > > > > #lang typed/racket > > (require "que.ss") > > (head (queue 1 2 3 4)) > > > > > > ----- Original Message ----- > > From: "Vincent St-Amour" <stamo...@ccs.neu.edu> > > To: "Matthew Flatt" <mfl...@cs.utah.edu> > > Cc: "Hari Prashanth" <krh...@ccs.neu.edu>, "dev" <dev@racket-lang.org> > > Sent: Friday, September 3, 2010 11:39:50 AM GMT -05:00 US/Canada Eastern > > Subject: Re: [racket-dev] Problem with GC or with my machine? > > > > At Fri, 3 Sep 2010 09:34:10 -0600, > > Matthew Flatt wrote: > >> Thanks for sending the code. I see that it's using Typed Racket with > >> #:optimize. Maybe Vincent and Sam should take a look to make sure that > >> the optimizer isn't generating incorrect unsafe code? > > > > Yes, please send us the code. > > > > First thing you should try, though, is turn off the optimizer and see > > if the problem goes away. > > > > Vincent > > > > _________________________________________________ > > For list-related administrative tasks: > > http://lists.racket-lang.org/listinfo/dev > > > > > > -- > sam th > sa...@ccs.neu.edu > > ------------------------------------------------------------------------------ > [application/octet-stream "que.ss"] [~/Desktop & open] [~/Temp & open] > _________________________________________________ > For list-related administrative tasks: > http://lists.racket-lang.org/listinfo/dev _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev