Re: [racket-dev] online check syntax: now disabled by default

2011-09-16 Thread Casey Klein
On Fri, Sep 16, 2011 at 4:37 PM, Eli Barzilay wrote: > Two hours ago, Casey Klein wrote: >> >> I did this: >> >> $ gdb path/to/drracket /cores/core.221 >> >> saw this message: >> >> This GDB was configured as >> "i386-apple-darwin"..."/Users/clklein/git/new-redex-semantics/bin/drracket": >> not in

Re: [racket-dev] online check syntax: now disabled by default

2011-09-16 Thread Eli Barzilay
Two hours ago, Casey Klein wrote: > > I did this: > > $ gdb path/to/drracket /cores/core.221 > > saw this message: > > This GDB was configured as > "i386-apple-darwin"..."/Users/clklein/git/new-redex-semantics/bin/drracket": > not in executable format: File format not recognized You need the a

Re: [racket-dev] online check syntax: now disabled by default

2011-09-16 Thread Asumu Takikawa
On 2011-09-16 14:49:12 -0500, Casey Klein wrote: > On Thu, Sep 15, 2011 at 8:13 PM, Robby Findler > wrote: > > Yes, certainly! Core files (or just stack traces) are useful, I expect. > > > > I've been seeing a freeze roughly once a day. DrRacket gets > permanently stuck with the OS X rainbow pinw

Re: [racket-dev] online check syntax: now disabled by default

2011-09-16 Thread Casey Klein
On Thu, Sep 15, 2011 at 8:13 PM, Robby Findler wrote: > Yes, certainly! Core files (or just stack traces) are useful, I expect. > I've been seeing a freeze roughly once a day. DrRacket gets permanently stuck with the OS X rainbow pinwheel as the cursor, and SIGKILLs won't kill it. I have to hard

Re: [racket-dev] online check syntax: now disabled by default

2011-09-15 Thread Robby Findler
Yes, certainly! Core files (or just stack traces) are useful, I expect. I made it be pretty easy to opt-in and the little red thingy shows up in the corner when you haven't turned it on, so I imagine that a bunch of people will opt in. (I'm hoping that those who are less computer saavy will be the

Re: [racket-dev] online check syntax: now disabled by default

2011-09-15 Thread Sam Tobin-Hochstadt
That's too bad -- online check syntax is the neatest feature I've seen in long time. Can the rest of us help with debugging the stability issues? On Thu, Sep 15, 2011 at 6:37 PM, Robby Findler wrote: > I've disabled the online check syntax by default because I'm worried > about stability issues

[racket-dev] online check syntax: now disabled by default

2011-09-15 Thread Robby Findler
I've disabled the online check syntax by default because I'm worried about stability issues (and deadlock issues, but those just keep online check syntax from working, not so much drracket itself). So I'll probably leave it off for the next release but I encourage you to turn it back on try it out