plt/racket — pull request #218 by shekari (2013-01-27 19:19:03+00:00)
Title: Type check with expected type when checking recursive loops.

Closes PR12678.