mflatt/plai-typed — pull request #1 by metajack (2012-09-24 21:18:08+00:00)
Title: Fix void returns (as from ,enter).

This fixes Geiser's C-c C-a command which does ```,enter "foo.rkt"``` which seems to return void, which fails the typecheck.

I'm not 100% sure this is the right way to fix the issue, but it works in my tests.