plt/racket — pull request #372 by takikawa (2013-06-24 16:34:33+00:00)
Title: Tr letrec values

This pull request is for code review.

This fixes PR 13124 by allowing `letrec-values` clauses that don't refer to the bound variables in the RHS to type-check with synthesized types no matter the order in which they appear.