plt/racket — pull request #686 by shekari (2014-06-24 04:06:46+00:00)
Title: Fix infer dotted cases when there are constraints on the dbound.

Closes PR 14593.