[racket] Typed Racket frustration

On 2014-10-29 13:39:33 -0400, Sam Tobin-Hochstadt wrote:
> The type of `hash` is one that comes up a bunch, and we should
> probably just add a few special cases that handle 2/4/6 arguments.
> Unfortunately, we don't yet have a mechanism for fully supporting the
> behavior of `hash`, and so there will be cases that work in untyped
> Racket but not in Typed Racket.

I have a branch that generalizes rest argument types to support this
kind of argument pattern. It works and the tests pass, but I'm still not
entirely happy with it:

  https://github.com/plt/racket/pull/564

If it's fixed up further it may get included.

Cheers,
Asumu