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/CAL3TdONhCbm7AJMOcoQwkzhxE_-7mar3sg%2BoCk1K6y-g95uc7w%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
