On May 1, 2014 10:01 PM, "Robby Findler" <ro...@eecs.northwestern.edu> wrote: > > On Thu, May 1, 2014 at 8:44 PM, Eric Dobson <eric.n.dob...@gmail.com> wrote: > > 6f56948cff75dd4497b742ae01cd5df18c654e6f > > - The contract boundary between typed/untyped modules is much less expensive. > > This one plus the one on the contract system side should probably be > combined into a single bullet item: > > - the boundary between Typed Racket and Racket program is now much > less expensive because of improvements in TR's contract generation and > improvements in the contract system's support for first-order > contracts
I don't see why we shouldn't have two bullets. Your change improves things for everyone who uses contracts, not just typed programs. I think Eric's changes should be a little more specific -- Typed Racket now avoids generating contracts for places where contracts failures cannot happen, maybe. Sam > > Robby > > > > > dd8b646b0b3a0fd7905467f275f0f786eac958dd > > - Occurrence typing now works better with when/unless. > > Example: > > (let ((x (read))) > > (unless (number? x) (error 'bad-input)) > > (add1 x)) > > > > > > On Thu, May 1, 2014 at 2:16 PM, Neil Toronto <neil.toro...@gmail.com> wrote: > >> On 05/01/2014 11:49 AM, Ryan Culpepper wrote: > >>> > >>> The release announcement sketch that I have so far is below. Please > >>> mail me new items and/or edits. > >>> ---------------------------------------------------------------------- > >>> > >>> neil: > >>> - plot 3D BSP tree (a515e7ce) > >>> - PDF/PS scaling changed to 1.0x1.0 (efc46ded) > >> > >> > >> - Plot correctly renders intersecting 3D graphs and non-grid-aligned 3D > >> rectangles. > >> > >> - Elements in plots output in PDF/PS format have the same relative scale as > >> in other formats. In particular, it is not necessary to adjust > >> `plot-font-size` to make PDF plots look the same as PNG. > >> > >> Neil > >> > >> > >> _________________________ > >> Racket Developers list: > >> http://lists.racket-lang.org/dev > > _________________________ > > Racket Developers list: > > http://lists.racket-lang.org/dev > _________________________ > Racket Developers list: > http://lists.racket-lang.org/dev
_________________________ Racket Developers list: http://lists.racket-lang.org/dev