On Thu, 21 Jul 2016 16:38:14 -0500, Alex Knauth wrote: > > > > On Jul 21, 2016, at 5:08 PM, Sam Tobin-Hochstadt <[email protected]> > > wrote: > > > > On Thu, Jul 21, 2016 at 1:44 PM, Vincent St-Amour > > <[email protected]> wrote: > > >> samth: > > >> - cast fixes a846514f281aa98d16892ec8be56c9418a5eac9f > > > Typed Racket now enforces uses of `cast` with contracts more > > correctly. In some cases, this will produce contract errors in > > programs that did not have errors before. > > Should this mention that it now generates a contract for the existing type as > well? > > That's the specific thing that would confuse people who are used to cast only > generating a contract for the new type.
I imagine that's explained in the docs? That's too much detail for the release notes, IMO. Vincent -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/m237n2d566.wl-stamourv%40eecs.northwestern.edu. For more options, visit https://groups.google.com/d/optout.
