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