Ok, so how about: Typed Racket issues warnings in cases where the contract generated for `Any` was not strict enough in the past. These warnings will become errors in a future release. Warnings are enabled via View -> Show Log in DrRacket, or using the -W command-line flag.
and Typed Racket enforces uses of `cast` more correctly, by checking both the "casted-to" and "casted-from" types. Previously, only the former were checked. In some cases, this will produce contract errors in programs that did not have errors before. Vincent On Thu, 21 Jul 2016 18:35:41 -0500, Robby Findler wrote: > > Can we say in a single line how to get the warnings to show up? > > Robby > > On Thu, Jul 21, 2016 at 4:08 PM, Sam Tobin-Hochstadt > <[email protected]> wrote: > > On Thu, Jul 21, 2016 at 1:44 PM, Vincent St-Amour > > <[email protected]> wrote: > >> > >> samth: > >> - folding in of the compiler and net repos > > > > I think we can omit this. > > > >> TR: > >> - discussion of the `any/c` issue > > > > Typed Racket issues warnings in cases where the contract generated for > > `Any` was not strict enough in the past. These warnings will become > > errors in a future release. > > > >> - intersections 010134d2b1bc1201b171c997deed39fd452b40e1 > >> b4a4c174e428ef675e7514a3e74d4002d604de56 > > > > Typed Racket now supports intersection types. This allows the type > > system to track more information, and for programmers to express more > > precise types. > > > >> - 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. > > > > 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 [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/CAK%3DHD%2BaCKtApgFH99%2Bcu6PD28-8STFs3kAf-pMZ3pp7tSxJw7g%40mail.gmail.com. > > For more options, visit https://groups.google.com/d/optout. -- 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/m2mvl9bq62.wl-stamourv%40eecs.northwestern.edu. For more options, visit https://groups.google.com/d/optout.
