> On Jul 21, 2016, at 5:08 PM, Sam Tobin-Hochstadt <sa...@cs.indiana.edu> wrote: > > On Thu, Jul 21, 2016 at 1:44 PM, Vincent St-Amour > <stamo...@eecs.northwestern.edu> 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 racket-dev+unsubscr...@googlegroups.com. To post to this group, send email to racket-dev@googlegroups.com. 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.