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
que.ss
Description: Binary data
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev