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.
