On Fri, Oct 30, 2015 at 2:40 PM Vincent St-Amour < [email protected]> wrote:
> Here's a draft for the TR changes: > > - Typed Racket fully supports submodules. > This we need to flesh out a bit more. How about: Submodules are now fully supported in Typed Racket. Previously, some uses of submodules would produce internal errors, making it hard to `module+ test` and `module+ main` effectively in Typed Racket. The switch to the set-of-scopes expander fixed these problems, and submodules are now happily at home in Typed Racket. > - The `typed/racket/unsafe` library provides import and export forms > that circumvent contract generation. This improves performance for > typed-untyped interaction at the cost of safety and debuggability. > - Typed Racket provides experimental support for units (from > `racket/unit`). > - The experimental `define-new-subtype` form allows overlaying finer > distinctions between otherwise identical types, similar to Haskell's > `newtype`. > Looks good. > - The `Promise` type constructor changes in a backwards-imcompatible > way to exclude promises created with `promise/name`. > I think we should have a separate section of the release notes for incompatibilities, such as this and the need to depend on "unstable" etc, plus the new exports. 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%2BZQfHOFgGqXm_ZOU9ecYjWdjV_KZcXFjntur-84YTXnDw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
