Release Announcement for v6.12

[Vincent St-Amour]

The release announcement sketch that I have so far is below. Please
mail me new items and/or edits.

Please phrase announcements using complete sentences and avoid the
word "now".
----------------------------------------------------------------------

Ryan Culpepper
- syntax/parse: add ~undo, #:undo for unwinding effects (f816a8af @ racket)
- add lazy-require-syntax (8d04bd67 @ racket)
- syntax/parse: add unwindable state (9be7bf53 @ racket)
- add pg SCRAM-SHA-256 authentication (436e4707 @ db)

Matthias Felleisen
- add web-io to htdp package (05a252e8 @ htdp)

Daniel Feltey
- recursive contracts optimization (c5cf7c13 @ racket)

Robby Findler
- add #:codomain to reduction-relation (9e1d31b8 @ redex)

Matthew Flatt
- various internal changes in preparation for Chez port. more stuff done via FFI?
- add ffi/unsafe/port (c3f61a76 @ racket)

Spencer Florence
- better pict scrolling (1b77c510 @ drracket)

Ben Greenman
- TR contract generation optimizations (96684530 @ typed-racket)

Andrew Kent
- `Any` as default for `inst` (d32218ad @ typed-racket)
- `#:result` clause for `for/fold` (9e16d3f9 @ racket)

Jay McCarthy
- dependency testing in `raco test` (5662ed8e @ racket)

Daniel Mendler
- add `vector-cas!` and `unsafe-vector*-cas!`, also `unsafe-struct*-cas!` (bc26d29b @ racket)

[Jay McCarthy]

On Mon, Jan 15, 2018 at 10:08 AM, Vincent St-Amour
<stam...@eecs.northwestern.edu> wrote:
> Jay McCarthy
> - dependency testing in `raco test` (5662ed8e @ racket)

We added the `--deps` option to `raco test` which tests package
dependencies, in addition to packages themselves. For example, `raco
test -p --deps pkg1 pkg2` will test all files from `pkg1`, `pkg2`, and
all of their dependencies.

[Vincent St-Amour]

IIUC, this change makes working with large picts in DrRacket much
easier, no?

If that's the case, that sounds like a quality of life improvement. Not
earth-shattering, I agree, but a nice bit of polish.

Vincent

On Mon, 15 Jan 2018 13:40:36 -0600,
Spencer Florence wrote:
>
> >- better pict scrolling (1b77c510 @ drracket)

> I'm not sure if this is worth mentioning?

> --
> 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+...@googlegroups.com.
> To post to this group, send email to racke...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/m24lnn9n3i.wl-stamourv%40eecs.northwestern.edu.
> For more options, visit https://groups.google.com/d/optout.

[Robby Findler]

I am not sure that this rises to the level of being in the top-level
release items, but here's a possible bullet:

- Scrolling picts in DrRacket works better

Robby

> To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/m2r2qq92kz.wl-stamourv%40eecs.northwestern.edu.

[Ben Greenman]

> Ben Greenman
> - TR contract generation optimizations (96684530 @ typed-racket)

I would rather put 9df037b in the release notes:

- TR contract generation (9df037b @ typed-racket)
Typed Racket will no longer enforce a type like (U String (Boxof
String)) with the any/c contract. This fixes a type soundness issue,
but may affect performance. Please submit a bug report if you find a
program that runs significantly slower on v6.12.

[Vincent St-Amour]

Reminder: I still need descriptions for the following items.

Ryan Culpepper
- syntax/parse: add ~undo, #:undo for unwinding effects (f816a8af @ racket)
- add lazy-require-syntax (8d04bd67 @ racket)
- syntax/parse: add unwindable state (9be7bf53 @ racket)
- add pg SCRAM-SHA-256 authentication (436e4707 @ db)

Matthias Felleisen
- add web-io to htdp package (05a252e8 @ htdp)

Robby Findler
- add #:codomain to reduction-relation (9e1d31b8 @ redex)

Matthew Flatt
- various internal changes in preparation for Chez port. more stuff done via FFI?
- add ffi/unsafe/port (c3f61a76 @ racket)

Andrew Kent
- `Any` as default for `inst` (d32218ad @ typed-racket)
- `#:result` clause for `for/fold` (9e16d3f9 @ racket)

Daniel Mendler
- add `vector-cas!` and `unsafe-vector*-cas!`, also `unsafe-struct*-cas!` (bc26d29b @ racket)

[Robby Findler]

On Thu, Jan 18, 2018 at 4:39 PM, Vincent St-Amour
<stam...@eecs.northwestern.edu> wrote:
> Robby Findler
> - add #:codomain to reduction-relation (9e1d31b8 @ redex)

Doesn't seem important enough.

Robby

[Andrew Kent]

I don't have a good sense for whether or not these items are worth being mentioned, but here are summaries for them:

Andrew Kent
- `Any` as default for `inst` (d32218ad @ typed-racket)
- `#:result` clause for `for/fold` (9e16d3f9 @ racket)

+ Typed Racket's type instantiation (`inst`) uses Any for omitted type arguments, allowing APIs to add additional type variables to functions without breaking existing programs.

+ `for/fold` users can customize the final result of a loop's computation using the `#:result` keyword.

Best,

Andrew

On Mon, Jan 15, 2018 at 10:08 AM, Vincent St-Amour <stam...@eecs.northwestern.edu> wrote:

--
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+unsubscribe@googlegroups.com.

[Ryan Culpepper]

On 1/15/18 4:08 PM, Vincent St-Amour wrote:
> [...]

> Ryan Culpepper
> - syntax/parse: add ~undo, #:undo for unwinding effects (f816a8af @ racket)
> - add lazy-require-syntax (8d04bd67 @ racket)
> - syntax/parse: add unwindable state (9be7bf53 @ racket)
> - add pg SCRAM-SHA-256 authentication (436e4707 @ db)

- The `syntax-parse` form supports unwinding side-effects when it
backtracks, both explicitly with `~undo` patterns and implicitly
with the built-in managed state (using `syntax-parse-state-ref`,
etc).

- The `db` library supports SCRAM-SHA-256 authentication for backends
running PostgreSQL 10 or later. Client support for SCRAM and other
SASL mechanisms is provided by the new `sasl` library.

- The `lazy-require-syntax` form supports lazy loading of macro
transformers. Note that the macros must obey certain implementation
constraints (see the `lazy-require-syntax` documentation).

Ryan

[gérard castagné]

Why I can't  launch it from finder, only from terminal

gérard castagné

[Matthew Flatt]

At Wed, 31 Jan 2018 03:27:42 -0800 (PST), gérard castagné wrote:
> Why I can't launch it from finder, only from terminal

A likely solution is to drag the "DrRacket" executable out of its
folder and then back again. If your installation is in "Applications",
you'll need to command-drag so that the applications moves (instead of
creating a shortcut).

Explanation:

For a few users, the application sets quarantined by the OS in a way
that makes it not run, even though the installer and executables are
signed with a valid certificate. We have not yet figured out why this
happens, but it seems to be something about the OS configuration; users
who experience the problem see it consistently, while most never see
the problem.

The move-and-back repair may sound crazy, but Finder treats dragging an
application as a sign that you're willing to trust it(!). When the
application is moved out of its folder and back, Finder turns off the
quarantine bit on the application.