Sam Tobin-Hochstadt

The last of those C++ examples could not be automatically generated from a preference and the spec you've described, and thus would have to be custom for a particular language,...

How high does it climb? For me I have to close the tab or eventually close DrRacket.

Right, for me it grows by gigabytes. I wonder if I have some different configuration that might be at issue?

I think I had another file that used Rhombus open, and a change in private/string.rkt (relative to the zo version). I'm working on getting more precise reproduction instructions.

There is in fact code that explicitly does this, with a note about how it's for test case coverage. See https://github.com/racket/htdp/blob/master/htdp-lib/lang/private/teach.rkt#L1062-L1067

For reasons that I don't understand, moving the `(void)`s around fixes the problem. #201 does that.

I do think this indicates a problem with the coverage tool, though. I haven't managed to reproduce it with a simpler program, unfortunately.

What is DrRacket doing differently for the "Beginning Student" test coverage vs the "#lang htdp/bsl" test coverage?

Here's one weird thing: if I reverse `sorted` on line 182: https://gist.github.com/rfindler/12eedd4aef298e84d56f0f70784c36f8#file-drr-test-coverage-rkt-L182 everything is covered (which is not what I expected sorting to do).

I still think moving the extra voids out of that location is the right thing to do, combined with your use of `datum->syntax` to copy location/properties.