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 <sa...@cs.indiana.edu> wrote: > On Thu, Jul 21, 2016 at 1:44 PM, Vincent St-Amour > <stamo...@eecs.northwestern.edu> 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 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%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 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/CAL3TdONhCbm7AJMOcoQwkzhxE_-7mar3sg%2BoCk1K6y-g95uc7w%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
