On Thu, Jul 21, 2016 at 7:35 PM, Robby Findler <[email protected]> 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.
Add: These warnings are visible by default in Racket, and in the "View Log" window in DrRacket. >>> - 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. How about: Typed Racket now enforces uses of `cast` with contracts more correctly by using the source type of the cast. 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%2BZTisqCM5Ov_tW2vcyDQ8z7bBVKeP0Ys6jof7WBFKciew%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
