Re: [racket-dev] check-match?

2012-11-20 Thread Robby Findler
I'm not sure how to find the right incantation to pull this down, but this commit looks good to push to our repo. Robby On Tue, Nov 20, 2012 at 12:33 AM, Joe Gibbs Politz j...@cs.brown.edu wrote: I think I've successfully sent a thingie to you: https://github.com/plt/racket/pull/171 Let me

Re: [racket-dev] Racket installs more files on amd64 than on i386

2012-11-20 Thread Juan Francisco Cantero Hurtado
On 11/20/12 02:01, Robby Findler wrote: Oh, I see. If you really need the lists of files to be the same, it is probably best to make both versions have the files (altho don't different architectures have different sets of files in general?). Probably you'll be breaking the distro if you remove

Re: [racket-dev] [plt] Push #25720: master branch updated

2012-11-20 Thread Robby Findler
Yes, I think that's the eventual plan. Robby On Tue, Nov 20, 2012 at 9:44 AM, Vincent St-Amour stamo...@ccs.neu.edu wrote: Would it make sense to make this available in the `data' collection? I'm sure it could be useful beyond syntax coloring. Vincent At Mon, 19 Nov 2012 23:07:35 -0500,

Re: [racket-dev] [DrDr] R25724 (timeout 0) (unclean 6470) (stderr 6470) (changes 6471)

2012-11-20 Thread Asumu Takikawa
On 2012-11-20 12:19:16 -0700, Jay McCarthy wrote: There was a strange time error with this commit and I've told DrDr to re-test it. My laptop clock is set, for some reason, two hours forward by accident. I guess DrDr did not like me committing from the future. Cheers, Asumu

Re: [racket-dev] Square-bracket-sensitive macros in Scribble sandboxes

2012-11-20 Thread Matthias Felleisen
The day after I wrote this message I wrote such a macro myself -- because it was natural to dispatch on the shape of parentheses. But I will never have to scribble about this one; it just generates HTML for my course. But I agree that keywords are much better for this purpose. They wouldn't