Sam Tobin-Hochstadt

@rfindler What you describe as your naive opinion is in fact the case currently, although it's a bit more complicated than that. Roughly, a module like this: ``` (module m...

Ok, now that you've read the background, here's the high-level strategy: 1. Maintain a table (at expansion time) mapping types to _identifiers_ which are bound to the contract for that...

Right, this doesn't use yet another table, which implements the meaning of `define-type`. Currently, the strategy for when to create a definition for a contract (as opposed to just inlining...

`#%no-add-mod` is because I forgot at that point about the trick with `#%plain-module-begin`. Yes, if other modules use `extra-env-lang`, they'll also have to grow these submodules. Probably we should add...

@rfindler Unfortunately, it really can't always reuse class contracts to produce instance contracts. There are a few reasons for this. One is that when an instance is provided from Typed...

I've improved some of the bigger problems with this PR, and it's become clear that implementing the remaining big piece will be harder than I thought, so I'm considering moving...

We'll see how Travis feel's about this. I've addressed all of the outstanding comments.

This now builds properly on my machine with some plot fixes that I've pushed. We'll see how Travis feels about this commit tomorrow.

All the tests for this pass locally for me.

The increase in size of `.dep` files is because the file now explicitly depends on all its typed transitive dependencies, so that types or contracts that those files create can...