> 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. Alex Knauth -- 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/50430AF4-471B-46E1-AFAD-AB129B2D23AE%40knauth.org. For more options, visit https://groups.google.com/d/optout.
