Pre-Release Checklist for v6.2, Second Call

[Ryan Culpepper]

Checklist items for the v6.2 release
(using the v6.1.91.900 release candidate build)

Search for your name to find relevant items, reply when you finish an
item (please indicate which item/s is/are done). Also, if you have any
commits that should have been picked, make sure that the changes are in.

Important: new builds are created without announcement, usually whenever
I pick a few commits. If you need to commit changes, please make sure
you tell me to pick it into the release branch.

--> Release candidates are at
--> http://pre-release.racket-lang.org

Please use these installers (or source bundles) -- don't test from
your own git clone (don't test the `master' branch by mistake!). To
get the tests, you can do this:

cd ...racket-root...
./bin/raco pkg install -i main-distribution-test

----------------------------------------------------------------------

* Matthias Felleisen <matt...@ccs.neu.edu>
- check-satisfied?

* Ryan Culpepper <ry...@ccs.neu.edu>
- DB Tests
Release tests for (one of the) linux releases:
- Test that the `racket' and `racket-textual' source releases
compile fine (note that they're still called `plt' and `mz' at
this stage).
- Test that the binary installers for both work, try each one in
both normal and unix-style installation modes. (just ubuntu)
[Note: get the release candidates from the URL in this email. Use
the 'static table' link to see a list of all tar files available]

* Stephen Bloch <sbl...@adelphi.edu>
- Picturing Programs Tests

* David Van Horn <dvan...@ccs.neu.edu>
- EoPL Tests

* Neil Toronto <neil.t...@gmail.com>
- Plot Tests
- Images Tests
- Inspect icons
- Math tests

[Matthias Felleisen]

On May 22, 2015, at 4:16 PM, Ryan Culpepper wrote:

> * Matthias Felleisen <matt...@ccs.neu.edu>
> - check-satisfied?

Done. Thanks for the re-build.

[Neil Toronto]

Status: Working on Doug's animation test case for Plot. It's very slow.

It looks like it has to do with a dc<%> instance crossing from untyped
to typed code. I'll probably end up inserting the types of `plot/dc` and
`plot3d/dc` into the base type environment, and then finding some way to
put contracts on them.

Neil ⊥

[Neil Toronto]

I need some help with this.

My typical workaround for acute contract slowness is inserting types
into the type environment. But that only works around contracts
introduced by `require/typed`. I forgot last night that `plot/dc` and
`plot3d/dc` are written in Typed Racket.

What I'd like - and what I can't figure out - is a way to simulate the
behavior of `provide/unsafe` in Racket 6.2.

The `plot/dc` and `plot3d/dc` functions have types that look like

(-> ... (Instance DC<%>) ... Void)

If an (Instance DC<%>) value is passed from untyped Racket to one of
these functions, it gets wrapped with a contract that makes drawing very
slow.

It wouldn't help to provide different implementations of `plot/dc` and
`plot3d/dc` to untyped code. All plot drawing is done in Typed Racket,
so at *some* point, the (Instance DC<%>) has to pass from untyped to typed.

Any ideas?

Neil ⊥

[Ryan Culpepper]

Attached is one way of exporting unchecked bindings from Typed Racket
using a compile-time helper module.

Ryan

[Neil Toronto]

On 05/22/2015 04:16 PM, Ryan Culpepper wrote:

> Checklist items for the v6.2 release
> (using the v6.1.91.900 release candidate build)

> [...]

> * Neil Toronto <neil.t...@gmail.com>
> - Plot Tests
> - Images Tests
> - Inspect icons
> - Math tests

Plot tests pass. In a cherry-picked commit in Plot's release branch, I
added an animation test that mimics Doug's animated-canvas problem, and
fixed it using your lovely evil box hack.

I reported in the first call that images, icons and math all pass. For a
while, I forgot about reporting that; result: math still passes. :D I'm
happy to check over images and icons again if you'd like.

Neil ⊥

[Neil Toronto]

Forgot to mention: I tested Plot on 6.1.91.900 release candidate, not
6.2.0.3 master.

Neil ⊥