plt/racket — pull request #653 by shekari (2014-05-21 06:21:37+00:00)
Title: Add filter to `tc-any-results` and `AnyValues`.

This is meant to fixup the confusion between `tc-any-results` and #f as the `expected` when typechecking.

`tc-any-results` is the dual to `AnyValues` and represents that we don't care about the number or types of values. It is mostly used for typechecking the `e ...` in `(begin e ... e-final)`. Check-below is only supposed to fill in the empty filters/types/objects in the expected type but it was replacing all of `tc-any-results`. This changes that, but to do that we need it to have a filter so that `(begin (when (string? x) (error 'bad)) (+ x))` works.