> On Oct 15, 2016, at 2:47 PM, Vincent St-Amour > <[email protected]> wrote: > > On Sat, 15 Oct 2016 11:07:39 -0500, > Alex Knauth wrote: >> Typed Racket: >> - `Any` unsoundness follow-up? (typed-racket @ >> 191ec136b6606ed63b8548c8493dba59104c60fb >> 50aab9806ff549ddc5f59f00d16ce336bc20eec6) >> >> >> The previous release already included variations of those two commits. > > Right. I do remember some talk of the changes in 6.6 being a stepping > stone to further changes in 6.7. Was that the case? > >> For this release the most important change is >> https://github.com/racket/typed-racket/commit/dfd61642b600dc485128581bfe162c1c1eaa11ac >> >> Which changes the unsafe-require/typed #:opaque option so that it >> doesn't display a warning. > > Was that change from "working + warning" to "working no warning", or > from "working + warning" to "error"? > > If it's the former, it's probably not worth mentioning. If it's the > latter, it definitely is.
It's the former, from "working + warning" to "working no warning", so not very worth mentioning. > Vincent -- 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/DC6C6DA2-435D-4EEA-96B8-0D8FF5B3ABCC%40knauth.org. For more options, visit https://groups.google.com/d/optout.
