15 minutes ago, Robby Findler wrote: > Ah. That does help. And seems Borderline for the release notes.
Actually, I thought that this was always part of the optimizer. In any case, I think that it's borderline because REPL optimizations are probably not something that people would be aware of and `with-type' sounds too specific to be broadly applicable. (And BTW, there *is* limited space for release notes -- otherwise these discussions would never happen.) > On Monday, August 1, 2011, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> wrote: > > On Mon, Aug 1, 2011 at 1:52 PM, Robby Findler > > <ro...@eecs.northwestern.edu> wrote: > >> > >> On Monday, August 1, 2011, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> wrote: > >>> On Mon, Aug 1, 2011 at 1:10 PM, Eli Barzilay <e...@barzilay.org> wrote: > >>>> About a minute ago, Vincent St-Amour wrote: > >>>>> - Typed Racket now optimizes at the REPL and inside typed regions. > >>>> > >>>> This sounds too uninteresting for most users. > >>> > >>> Have we run out of space for release notes? This certainly isn't as > >>> important as places, but I think we should err on the side of more > >>> rather than less in the release notes. > >> > >> This doesn't make any sense to me so I expect people who read release > notes > >> will be even more confused. > > > > Then we should clarify. Does the following help? > > > > The Typed Racket optimizer now applies to typed programs entered at > > the REPL and inside of typed regions created by `with-type', not just > > to modules written in the `typed/*' family of languages. > > > > -- > > sam th > > sa...@ccs.neu.edu > > -- ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay: http://barzilay.org/ Maze is Life! _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev