Re: [racket-dev] =?

2010-10-06 Thread Everett Morse
Would this mean equal?, eq?, =, or what? I suppose it would make sense to be =? since the others have a question mark, but I'd almost prefer it to be equal? just to save me some typing. (In fact, maybe I'll bind it to that myself ...). I imagine that this kind of confusion is, or is related

Re: [racket-dev] =?

2010-10-06 Thread Shriram Krishnamurthi
It would be the same as =, ie, numeric equality. It's not meant to be some sort of generalized equality checker. It's just that we teach our students that predicates end in ?, and that's true of symbol=?, string=?, but not =. On Wed, Oct 6, 2010 at 2:21 PM, Everett Morse we...@unoc.net wrote:

Re: [racket-dev] =?

2010-10-06 Thread David Van Horn
On 10/6/10 2:24 PM, Shriram Krishnamurthi wrote: It would be the same as =, ie, numeric equality. It's not meant to be some sort of generalized equality checker. It's just that we teach our students that predicates end in ?, and that's true of symbol=?, string=?, but not =. So shouldn't it

Re: [racket-dev] stepper UI question

2010-10-06 Thread Everett Morse
I was just trying to debug a program today that goes through a series of complex macros. I used Check Syntax so I can see what variables are bound where (some of which are syntax variables), and when I got stuck I wanted to see how the macro reduces. I clicked the macro stepper, and it spun

Re: [racket-dev] stepper UI question

2010-10-06 Thread Ryan Culpepper
On 10/06/2010 12:37 PM, Everett Morse wrote: I was just trying to debug a program today that goes through a series of complex macros. I used Check Syntax so I can see what variables are bound where (some of which are syntax variables), and when I got stuck I wanted to see how the macro reduces.

[racket-dev] Mailing list cross-posting

2010-10-06 Thread Eli Barzilay
30 minutes ago, Shriram Krishnamurthi wrote: Okay, folks -- enough email on plt-edu. If you want to follow-up, please take it to plt-edu-discuss. Related to this, I have a general request: - Please do not cross-post emails

[racket-dev] Git 1.7.3

2010-10-06 Thread Eli Barzilay
This came out a while ago, and I forgot to forward it. The server is now using git 1.7.3.1. ---BeginMessage--- The latest feature release Git 1.7.3 is available at the usual places: http://www.kernel.org/pub/software/scm/git/ git-1.7.3.tar.{gz,bz2}(source tarball)

Re: [racket-dev] no symlinks in planet links (was: Re: single-instantiation trick: kludgy workaround for planet packages?)

2010-10-06 Thread Eli Barzilay
8 minutes ago, John Clements wrote: So, it looks like planet is broken wrt planet-links containing symbolic links. Maybe you could solve this by just putting a fully-expand-path-mumble somewhere very early in the signal chain? ... Hmm, actually that might not be such a great idea; you break

[racket-dev] Typed Racket's optimizer is now on by default (Re: [plt] Push #21190: master branch updated)

2010-10-06 Thread Vincent St-Amour
Typed Racket's type-driven optimizer is now turned on by default. The #:optimize switch that was previously used to turn the optimizer on has been kept around for backward compatibility, but is now a no-op. A #:no-optimize switch has been added, in case you want to turn the optimizer off (e.g.