Sam Tobin-Hochstadt

This is stubbed but not actually implemented.

Since this was a change between 8.3 and 8.4, it seems plausible this is about the new lexer and colorer protocols. Is it possible that pollen sets up a colorer...

My feelings are: 1. racket-mode and racket-xp-mode should themselves prevent emacs from getting stuck, rather than require additional configuration for that. 2. 47 seconds for check-syntax is too long, since...

1. I think this needs a lot more testing if it's going to work. 2. In particular, the problems that led to the warnings should be definitely checked.

No, there's no way to disable contracts in general.

Is this still worth investigating for the benchmarks we're bad on?

The particular file I broke was `typed-racket/utils/prefab-c.rkt`.

@krono Can you update the status here?

Which ones don't work?

This did break a bunch of DrDr tests, for whatever that's worth.