On Thu, Jul 21, 2016 at 5:58 PM, Vincent St-Amour <stamo...@eecs.northwestern.edu> wrote: > On Thu, 21 Jul 2016 16:38:14 -0500, > Alex Knauth wrote: >> >> >> > 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. > > I imagine that's explained in the docs? > > That's too much detail for the release notes, IMO.
I'm unsure about which way to go on this. On the one hand, it's more detail. On the other hand, the detail is precisely what people whose programs now error need to know. Sam -- 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/CAK%3DHD%2BazrMm5sFrpKraQ24K%2Bn3Y9ZXZrT-yuKXqYyJoO8B2Z0w%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
