Re: [racket-dev] code coverage coloring

2011-09-14 Thread Robby Findler
The arrows don't form a tree. But have a look at the docs and see. Additional layers welcome. On Wednesday, September 14, 2011, Eli Barzilay wrote: > A few minutes ago, Robby Findler wrote: >> On Wednesday, September 14, 2011, Eli Barzilay wrote: >> > And it would be really nice if someone makes

Re: [racket-dev] code coverage coloring

2011-09-14 Thread Eli Barzilay
A few minutes ago, Robby Findler wrote: > On Wednesday, September 14, 2011, Eli Barzilay wrote: > > And it would be really nice if someone makes check-syntax produce > > gui-independent information that could be used elsewhere (like > > binding arrows appearing in the documentation). > > Check sy

Re: [racket-dev] code coverage coloring

2011-09-14 Thread Robby Findler
On Wednesday, September 14, 2011, Eli Barzilay wrote: > An hour ago, Shriram Krishnamurthi wrote: >> Can't comment on option (b), but option (a) is what I was thinking >> of. > > Just to clarify (a) is a kind of a cheap way out: there's a facility > to shove random information into languages, so a

Re: [racket-dev] code coverage coloring

2011-09-14 Thread Shriram Krishnamurthi
> Just to clarify (a) is a kind of a cheap way out: I agree. But (b) sounds like a lot of design and re-implementation work; it would be unfortunate if that held up doing anything about (a). Shriram _ For list-related administrative tasks: http

Re: [racket-dev] code coverage coloring

2011-09-14 Thread Eli Barzilay
An hour ago, Shriram Krishnamurthi wrote: > Can't comment on option (b), but option (a) is what I was thinking > of. Just to clarify (a) is a kind of a cheap way out: there's a facility to shove random information into languages, so add one more bit. The (b) option is much more interesting in tha

Re: [racket-dev] code coverage coloring

2011-09-14 Thread Shriram Krishnamurthi
Can't comment on option (b), but option (a) is what I was thinking of. Isn't the "tricky UI question" already present, because a language info can set some of the very same things in the details pane? I didn't see this particular option introducing a new problem that was not already there. One t

Re: [racket-dev] code coverage coloring

2011-09-14 Thread Robby Findler
Okay, not sure how that help, but my messages have probably been too opaque. I just chatted with Eli on the phone about this and I see two things that DrRacket could provide a) DrRacket could defer to the the language-info stuff for the default settings in the language dialog instead of using the

Re: [racket-dev] code coverage coloring

2011-09-14 Thread Shriram Krishnamurthi
A different line of reasoning is this. DrRacket gives the impression that coverage is a property of the language selected for a buffer. That's why if I have two tabs, one in *SL and another in #lang racket, one has coverage and other does not, without my having to ever touch the Details panel. An

Re: [racket-dev] code coverage coloring

2011-09-14 Thread Robby Findler
What would happen if a program in such a language were run in regular racket? Robby On Wed, Sep 14, 2011 at 1:19 PM, Shriram Krishnamurthi wrote: > It would be nice if I could turn on coverage highlighting from code in > my language's run-time configuration, without the user having to > (rememb

Re: [racket-dev] code coverage coloring

2011-09-14 Thread Shriram Krishnamurthi
It would be nice if I could turn on coverage highlighting from code in my language's run-time configuration, without the user having to (remember to) click anything at all. My #lang already sets things like pconvert options (which too they could have set by clicking, except I did it for them). I'

Re: [racket-dev] code coverage coloring

2011-09-14 Thread Robby Findler
I don't think we're quite on the same wavelength here. What is it that you want, that you do not get from the current options? Robby On Wed, Sep 14, 2011 at 12:01 PM, Shriram Krishnamurthi wrote: > This is for a #lang-language. > > Is there a reason this can't be done programatically, like othe

Re: [racket-dev] code coverage coloring

2011-09-14 Thread Shriram Krishnamurthi
This is for a #lang-language. Is there a reason this can't be done programatically, like other things in the language dialog? I understand it may not be possible in the current release, but if there's no reason it can't, can you add it for future releases? It feels like it is reasonable to consi

[racket-dev] internal error while debugging (plus startup error)

2011-09-14 Thread Marijn
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hi list, While using the integrated debugger I got an internal error which caused the whole of that DrRacket-instance to become non-functional. Fortunately I had started it from console, so the error didn't get lost and I have the context. The error o

[racket-dev] posting to semaphore from C causes seg fault

2011-09-14 Thread John Clements
I'm unable to pass a semaphore to C and post to it from there. In particular, it causes a seg fault. I'm testing the Scheme_Object * with SCHEME_SEMAP, so I'm pretty sure it's a semaphore. Also, I can see this happen in gdb, but the code is optimized, so it's hard to see exactly where it's faili