plt/racket — pull request #673 by shekari (2014-06-15 02:35:08+00:00)
Title: Correctly instantiate poly dots during inference.

This removes the need for the cache of type variables for instantiating
dotted variables, because we instantiate the uses at once.