plt/racket — pull request #696 by shekari (2014-06-28 22:14:32+00:00)
Title: Merge V, X, and Y arguments into a single context in infer.

This is in preparation for passing the expected-cset down along with all of these. I thought it would be cleaner to have 1 variable instead of 4.