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.
