[racket-dev] Check-syntax glitch?

2012-02-15 Thread Pierpaolo Bernardi
Hello, (for company firewall reasons I cannot use the bug report facility. Please bear with me). Racket version 5.2.1; Environment: windows Windows NT 6.1 (Build 7601) Service Pack 1 (win32\i386\3m) (get-display-depth) = 32; If I put the following text in a buffer: #lang racket (struct

[racket-dev] reporting bugs from behind firewalls

2012-02-15 Thread Matthias Felleisen
On Feb 15, 2012, at 4:30 AM, Pierpaolo Bernardi wrote: (for company firewall reasons I cannot use the bug report facility. Please bear with me). Perhaps we should have an option in DrRacket that collects the bug report information but then places it in a mail buffer for the programmer. --

Re: [racket-dev] Check-syntax glitch?

2012-02-15 Thread Robby Findler
If I'm reading the expansion right, it looks like 'match' is keeping only one of the 'foo's in the output (it seems to put one of them in the disappeared use property on the 'foo?' in the (if (foo? x) ...) that it generates). In other words, looks like a bug in match. Robby On Wed, Feb 15, 2012

Re: [racket-dev] Google Summer of Code

2012-02-15 Thread Matthias Felleisen
On Feb 14, 2012, at 10:26 PM, Asumu Takikawa wrote: On 2012-02-14 09:58:12 -0800, John Clements wrote: I sent an e-mail to Asumu about a week ago that sneakily tried to get him to take responsibility, and it sounds like he might be on it. If not, I'll take the lead. Asumu? I'm still up

Re: [racket-dev] reporting bugs from behind firewalls

2012-02-15 Thread Eli Barzilay
Just now, Matthias Felleisen wrote: On Feb 15, 2012, at 4:30 AM, Pierpaolo Bernardi wrote: (for company firewall reasons I cannot use the bug report facility. Please bear with me). Perhaps we should have an option in DrRacket that collects the bug report information but then places

Re: [racket-dev] Google Summer of Code

2012-02-15 Thread David Van Horn
On 2/15/12 8:27 AM, Matthias Felleisen wrote: On Feb 14, 2012, at 10:26 PM, Asumu Takikawa wrote: On 2012-02-14 09:58:12 -0800, John Clements wrote: I sent an e-mail to Asumu about a week ago that sneakily tried to get him to take responsibility, and it sounds like he might be on it. If

Re: [racket-dev] reporting bugs from behind firewalls

2012-02-15 Thread Pierpaolo Bernardi
On Wed, Feb 15, 2012 at 14:29, Eli Barzilay e...@barzilay.org wrote: Just now, Matthias Felleisen wrote: On Feb 15, 2012, at 4:30 AM, Pierpaolo Bernardi wrote: (for company firewall reasons I cannot use the bug report facility.  Please bear with me). Perhaps we should have an option in

Re: [racket-dev] reporting bugs from behind firewalls

2012-02-15 Thread Matthias Felleisen
You misunderstood. I don't want the poor dr to open any port or communicate with the outside. I want an option like in PDF previewers that says send this info out via a mail client and puts all the info into Mail. On Feb 15, 2012, at 8:29 AM, Eli Barzilay wrote: Just now, Matthias

Re: [racket-dev] reporting bugs from behind firewalls

2012-02-15 Thread Eli Barzilay
Just now, Pierpaolo Bernardi wrote: oops. I have not tried sending this report with this version of DrRacket. I was remembering the behaviour of previous versions. Should I try to file this report to check if it's working for me? Please do -- it shouldn't do anything other than web stuff.

Re: [racket-dev] reporting bugs from behind firewalls

2012-02-15 Thread Pierpaolo Bernardi
On Wed, Feb 15, 2012 at 14:39, Eli Barzilay e...@barzilay.org wrote: Just now, Pierpaolo Bernardi wrote: oops. I have not tried sending this report with this version of DrRacket.  I was remembering the behaviour of previous versions. Should I try to file this report to check if it's working

Re: [racket-dev] new logo

2012-02-15 Thread Eli Barzilay
Yesterday, Neil Toronto wrote: I decided to play with this one a bit. I used PLT's lambda, put the r in the same style, and then made it into a lambda r.acket banner. Here's the deal, though. This one, even just the lambda r. in a circle, is pushing complexity. We've been approaching logo

Re: [racket-dev] Google Summer of Code

2012-02-15 Thread Matthias Felleisen
On Feb 15, 2012, at 8:33 AM, David Van Horn wrote: On 2/15/12 8:27 AM, Matthias Felleisen wrote: On Feb 14, 2012, at 10:26 PM, Asumu Takikawa wrote: On 2012-02-14 09:58:12 -0800, John Clements wrote: I sent an e-mail to Asumu about a week ago that sneakily tried to get him to take

Re: [racket-dev] new logo

2012-02-15 Thread Matthias Felleisen
On Feb 15, 2012, at 10:13 AM, Eli Barzilay wrote: A logo exists primarily to make a good impression on outsiders. Filling it with too much meaning works actively against this. I second this too. And I actually do like Eli's direction. But it does need color. _

Re: [racket-dev] Google Summer of Code

2012-02-15 Thread Sam Tobin-Hochstadt
On Wed, Feb 15, 2012 at 10:31 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Feb 15, 2012, at 8:33 AM, David Van Horn wrote: On 2/15/12 8:27 AM, Matthias Felleisen wrote: On Feb 14, 2012, at 10:26 PM, Asumu Takikawa wrote: On 2012-02-14 09:58:12 -0800, John Clements wrote: I sent

Re: [racket-dev] new logo

2012-02-15 Thread Stephen Bloch
On Feb 15, 2012, at 10:13 AM, Eli Barzilay wrote: I tried a whole bunch of things with the version I suggested earlier, but they all suffer from looking like they're trying too much. (There were also similar suggestions, like the pregnant lambda, or the cult symbol, or the mirrored-2

Re: [racket-dev] new logo

2012-02-15 Thread Norman Gray
Greetings. On 2012 Feb 14, at 20:37, Neil Toronto wrote: Here's the deal, though. This one, even just the lambda r. in a circle, is pushing complexity. We've been approaching logo design too much like language design, trying to cram as much semantic content as possible into a small space

Re: [racket-dev] new logo

2012-02-15 Thread Michael W
I'm no graphics designer but I've been playing with Eli's logo a bit. I went gradient-happy; sorry. Here it is with a silvery sheen: http://dl.dropbox.com/u/219506/racket-logo/whitesilver-subtle.png Less subtle, darker silver: http://dl.dropbox.com/u/219506/racket-logo/silver.png I've been

Re: [racket-dev] new logo

2012-02-15 Thread Matthias Felleisen
http://dl.dropbox.com/u/219506/racket-logo/circle-bluewhite.png Thanks You! I would love it if Neil and John put their mind to the above and turned into something they like. _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] new logo

2012-02-15 Thread John Clements
On Feb 15, 2012, at 10:24 AM, Michael W wrote: I'm no graphics designer but I've been playing with Eli's logo a bit. I went gradient-happy; sorry. Here it is with a silvery sheen: http://dl.dropbox.com/u/219506/racket-logo/whitesilver-subtle.png Less subtle, darker silver:

Re: [racket-dev] new logo

2012-02-15 Thread Neil Toronto
On 02/15/2012 12:21 PM, John Clements wrote: On Feb 15, 2012, at 10:24 AM, Michael W wrote: I'm no graphics designer but I've been playing with Eli's logo a bit. I went gradient-happy; sorry. Here it is with a silvery sheen: http://dl.dropbox.com/u/219506/racket-logo/whitesilver-subtle.png

Re: [racket-dev] Google Summer of Code

2012-02-15 Thread John Clements
On Feb 15, 2012, at 5:33 AM, David Van Horn wrote: On 2/15/12 8:27 AM, Matthias Felleisen wrote: On Feb 14, 2012, at 10:26 PM, Asumu Takikawa wrote: On 2012-02-14 09:58:12 -0800, John Clements wrote: I sent an e-mail to Asumu about a week ago that sneakily tried to get him to take

Re: [racket-dev] new logo

2012-02-15 Thread Eli Barzilay
11 hours ago, Michael W wrote: I'm no graphics designer but I've been playing with Eli's logo a bit. I went gradient-happy; sorry. [...] I've added them to the sequence in my directory -- start from http://tmp.barzilay.org/logo/whitesilver-subtle-=-ipage.html and hit right to go in