Ben Greenman

This is interesting ... first off you're right I should fix my file locations / imports -- the ones above are not good and I didn't realize that. And here,...

I also don't want to raise an exception

https://github.com/brownplt/B2T2/commit/9fd2bb9f4fa84e730e68524e527836789bcf2df7

The `32` is indeed a typo. Thanks for catching it! We plan to fix the typo, release a new version of B2T2, and notify other contributors. But first, would you...

+ Apache Arrow

Yes, language spec should be optional. Fetching automatically seems too hard. It may have trouble with identifiers that get reprovided by TR languages (Shallow -> Deep -> require/untyped-contract).

I'm confused now. Does it even make sense to use `require/untyped-contract` on a shallow module? EDIT: I think not, because shallow contract gen doesn't take a fail callback the way...

EDIT: nevermind, the problem was that I used `'typed/racket/no-check` as the language spec. We should improve the message. Tried running this on the example, and I'm getting an error about...

`indexed-envvar` was there all along! d64e38f732f979ebe30d775b70c7ed1fb55b6774

https://github.com/racket/typed-racket/commit/92eff9e9d93c254373460b86316703ab60301875