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

2010-09-17 Thread Robby Findler
Sure, a parameter is fine. And since we're going to have a paramter, then defaulting to the old way seems best. Thanks! Robby On Fri, Sep 17, 2010 at 12:02 PM, Casey Klein wrote: > On Fri, Sep 17, 2010 at 11:52 AM, Robby Findler > wrote: >> On Fri, Sep 17, 2010 at 11:50 AM, Casey Klein >> wro

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

2010-09-17 Thread Casey Klein
On Fri, Sep 17, 2010 at 11:52 AM, Robby Findler wrote: > On Fri, Sep 17, 2010 at 11:50 AM, Casey Klein > wrote: >> On Fri, Sep 17, 2010 at 11:39 AM,   wrote: >>> robby has updated `master' from c6fc7137ee to ce211ac364. >>>  http://git.racket-lang.org/plt/c6fc7137ee..ce211ac364 >>> >>> =[ 1 C

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

2010-09-17 Thread Robby Findler
On Fri, Sep 17, 2010 at 11:50 AM, Casey Klein wrote: > On Fri, Sep 17, 2010 at 11:39 AM,   wrote: >> robby has updated `master' from c6fc7137ee to ce211ac364. >>  http://git.racket-lang.org/plt/c6fc7137ee..ce211ac364 >> >> =[ 1 Commits ]== >>

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

2010-09-17 Thread Casey Klein
On Fri, Sep 17, 2010 at 11:39 AM, wrote: > robby has updated `master' from c6fc7137ee to ce211ac364. >  http://git.racket-lang.org/plt/c6fc7137ee..ce211ac364 > > =[ 1 Commits ]== > > Directory summary: >  10.1% collects/redex/private/ >  83.